intro_classes_tac: REPEAT_ALL_NEW;
intro_classes_tac: REPEAT_ALL_NEW;

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