signature BASIC_THM; theorem / axiom deriv: added tags; get/put_name_tags; type attribute;
signature BASIC_THM;
theorem / axiom deriv: added tags;
get/put_name_tags;
type attribute;

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