Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
tactics.v
Find file
Blame
History
Permalink
Add conditional `done` tactic.
· 8fc099dc
Robbert Krebbers
authored
Mar 08, 2017
8fc099dc