Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
tests
tactics.v
Find file
Blame
History
Permalink
Add destruct_or{?,!}, and generalize destruct_and{?,!} to handle an explicit assumption argument
· 07c0cb06
Armaël Guéneau
authored
Feb 25, 2020
07c0cb06