Skip to content

more consistent lemma naming

Ralf Jungrequested to merge
ralf/lemma_rename into gen_proofmode

I am sure I missed some of them though...

Fixes #177 (closed)

Merge request reports