Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
theories
tests
proofmode.v
Find file
Blame
History
Permalink
Unused premises go to the last premise of iApply (instead of the first).
· da56bbb0
Robbert Krebbers
authored
Jan 23, 2017
da56bbb0