Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Jonas Kastberg
iris
Repository
7e477f28f2f21dfb609bd38723472f0c080a75dc
Switch branch/tag
iris-coq
docs
constructions.tex
Find file
Blame
History
Permalink
Removed obsolete axiom from the defn of Ex(M).
· 7e477f28
Aleš Bizjak
authored
Jul 27, 2016
7e477f28
