cond_extern_table; datatype method = Method of thm list -> tactic;
cond_extern_table;
datatype method = Method of thm list -> tactic;

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