notes: proper import/export of proofs (still inactive); Goal.norm/close_result; tuned;
notes: proper import/export of proofs (still inactive);
Goal.norm/close_result;
tuned;

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