Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!135
more consistent lemma naming
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/lemma_rename
into
gen_proofmode
Mar 22, 2018
Overview
1
Commits
1
Pipelines
0
Changes
7
Expand
I am sure I missed some of them though...
Fixes
#177 (closed)
Merge request reports