changed syntax "(| _ : _ |)" to "OFCLASS(_, _)";
changed syntax "(| _ : _ |)" to "OFCLASS(_, _)";

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