# HG changeset patch
# User haftmann
# Date 1325882925 -3600
# Node ID 0ec0af1c651d804c360a5f1923e04a612e1ddf12
# Parent  cc374091999bd9548b44281e7fce60dd86bf2582
consolidated various theorem names relating to Finite_Set.fold and List.fold combinators

diff -r cc374091999b -r 0ec0af1c651d NEWS
--- a/NEWS	Fri Jan 06 20:48:52 2012 +0100
+++ b/NEWS	Fri Jan 06 21:48:45 2012 +0100
@@ -60,6 +60,16 @@
 
 *** HOL ***
 
+* Consolidated various theorem names relating to Finite_Set.fold combinator:
+  inf_INFI_fold_inf ~> inf_INF_fold_inf
+  sup_SUPR_fold_sup ~> sup_SUP_fold_sup
+  INFI_fold_inf ~> INF_fold_inf
+  SUPR_fold_sup ~> SUP_fold_sup
+  union_set ~> union_set_fold
+  minus_set ~> minus_set_fold
+  
+INCOMPATIBILITY.
+
 * Consolidated theorem names concerning fold combinators:
   INFI_set_fold ~> INF_set_fold
   SUPR_set_fold ~> SUP_set_fold