# HG changeset patch
# User wenzelm
# Date 1258143969 -3600
# Node ID 2582cc24bc2a94e4ae8f885d883fb10b084ef23c
# Parent  5241785055bc73117e72dec8cb13f70426480246# Parent  8bde36ec8eb1c47687c5465b4b432abfe1e818cd
merged

diff -r 8bde36ec8eb1 -r 2582cc24bc2a NEWS
--- a/NEWS	Fri Nov 13 21:24:15 2009 +0100
+++ b/NEWS	Fri Nov 13 21:26:09 2009 +0100
@@ -241,6 +241,8 @@
     sizechange -> size_change
     induct_scheme -> induction_schema
 
+* Lemma name change: replaced "anti_sym" by "antisym" everywhere.
+
 
 *** ML ***