Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
proofmode
tactics.v
Find file
Blame
History
Permalink
Rename some proofmode stuff to be no longer primitive view shift specific.
· b3b5f558
Robbert Krebbers
authored
Jul 25, 2016
b3b5f558