Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
proofmode
class_instances.v
Find file
Blame
History
Permalink
more FromPure and IntoPure instances
· 0de297e1
Ralf Jung
authored
Feb 15, 2017
0de297e1