Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
tests
proofmode.v
Find file
Blame
History
Permalink
Revert "Make FromPure depend on an affinity parameter."
· c54e1692
Jacques-Henri Jourdan
authored
Feb 12, 2018
This reverts commit
78ba9509
.
c54e1692