# HG changeset patch
# User nipkow
# Date 1258138112 -3600
# Node ID 881a13cbff2ed80170c8a70e147cbe7dff068924
# Parent  bdcabcffaaf65a9bd1e57f340cfa7bef7708b865
-

diff -r bdcabcffaaf6 -r 881a13cbff2e NEWS
--- 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 ***