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
Rice Wine
Iris
Repository
iris
proofmode
pviewshifts.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
