Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Lennard Gäher
Iris
Repository
iris
theories
algebra
ofe.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
Ralf Jung authored6bbc6b49