PureThy.add_store_defs, PureThy.add_store_axioms;
PureThy.add_store_defs, PureThy.add_store_axioms;

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