* Pure: localized 'lemmas', 'theorems', 'declare';
* Pure: localized 'lemmas', 'theorems', 'declare';

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle