Assumption.assms_of: cterm; added tmp version of export_standard_facts;
Assumption.assms_of: cterm;
added tmp version of export_standard_facts;

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