Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Paolo G. Giarrusso
iris
Repository
ec4ac8466a33ae1dd5c0220617f881b020ea0a89
Switch branch/tag
iris
theories
tests
proofmode.v
Find file
Blame
History
Permalink
Allow introduction patterns for result of `iCombine`.
· ec4ac846
Robbert Krebbers
authored
May 18, 2018
This fixes issue
#187
.
ec4ac846
