Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
proofmode
coq_tactics.v
Find file
Blame
History
Permalink
Merge branch 'ralf/lemma_rename' into 'gen_proofmode'
· 9d68507d
Ralf Jung
authored
Apr 03, 2018
more consistent lemma naming See merge request FP/iris-coq!135
9d68507d