introduced syntactic classes; moved some setup to Pure/codegen, Pure/nbe or OperationalEquality.thy
introduced syntactic classes; moved some setup to Pure/codegen, Pure/nbe or OperationalEquality.thy

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