named witnesses: PureThy.get_thmss; outer syntax for 'typedecl', 'typedef';
named witnesses: PureThy.get_thmss;
outer syntax for 'typedecl', 'typedef';

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