notes: proper naming of thm proof, activated import_export_proof;
notes: proper naming of thm proof, activated import_export_proof;

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