Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
proofmode
classes.v
Find file
Blame
History
Permalink
Fix MakeAffinely. Change names for instances: use known_make_xxx instead of go_make_xxx.
· aa5b93f6
Jacques-Henri Jourdan
authored
Feb 28, 2018
aa5b93f6