--- a/NEWS Fri Nov 13 15:48:52 2009 +0100 +++ b/NEWS Fri Nov 13 19:48:32 2009 +0100 @@ -241,6 +241,8 @@ sizechange -> size_change induct_scheme -> induction_schema +* Lemma name change: replaced "anti_sym" by "antisym" everywhere. + *** ML ***