tuned terminology (cf. 'isar_proofs' option)
tuned terminology (cf. 'isar_proofs' option)

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