Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
algebra
iprod.v
Find file
Blame
History
Permalink
tune "Proof using" directives to minimize differences to previous types of all lemmas
· 6bbc6b49
Ralf Jung
authored
Jan 04, 2017
6bbc6b49