# HG changeset patch
# User nipkow
# Date 1258138153 -3600
# Node ID 5241785055bc73117e72dec8cb13f70426480246
# Parent  090288424d44bdf230d074d5561571b2c73ac242# Parent  881a13cbff2ed80170c8a70e147cbe7dff068924
merged

diff -r 090288424d44 -r 5241785055bc NEWS
--- a/NEWS	Fri Nov 13 17:15:35 2009 +0000
+++ b/NEWS	Fri Nov 13 19:49:13 2009 +0100
@@ -241,6 +241,8 @@
     sizechange -> size_change
     induct_scheme -> induction_schema
 
+* Lemma name change: replaced "anti_sym" by "antisym" everywhere.
+
 
 *** ML ***