more "anti_sym" -> "antisym" (cf. a4179bf442d1);
more "anti_sym" -> "antisym" (cf. a4179bf442d1);

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