generic Syntax.pretty/string_of operations; proper installation of unparsers and term_uncheck (contract_abbrevs); removed obsolete pretty/string_of_term/typ/sort/classrel/arity (cf. structure Syntax); tuned;
generic Syntax.pretty/string_of operations;
proper installation of unparsers and term_uncheck (contract_abbrevs);
removed obsolete pretty/string_of_term/typ/sort/classrel/arity (cf. structure Syntax);
tuned;

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