export put_thms; do not export use_facts, reset_facts;
export put_thms;
do not export use_facts, reset_facts;

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