Skip to content

more consistent lemma naming

Ralf Jung requested to merge ralf/lemma_rename into gen_proofmode

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

Fixes #177 (closed)

Merge request reports