Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Dmitry Khalanskiy
Iris
Repository
iris
proofmode
tactics.v
Find file
Blame
History
Permalink
Revert "Let iLöb automatically revert and introduce spatial hypotheses."
· 29ee3a0f
Robbert Krebbers
authored
Apr 12, 2016
This reverts commit
3cc38ff6
. The reverted pure hypotheses and variables appear in the wrong order.
29ee3a0f
