PureThy.defined_fact; unused_thms: simplified signature;
PureThy.defined_fact;
unused_thms: simplified signature;

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