# HG changeset patch
# User haftmann
# Date 1291816343 -3600
# Node ID a0d9258e2091c9ca331ac113a7a52d9b7eed1427
# Parent  a7fba340058c57ddb35db61207f2f560873f6c09
NEWS

diff -r a7fba340058c -r a0d9258e2091 NEWS
--- a/NEWS	Wed Dec 08 13:34:51 2010 +0100
+++ b/NEWS	Wed Dec 08 14:52:23 2010 +0100
@@ -111,6 +111,17 @@
 
 *** HOL ***
 
+* More canonical naming convention for some fundamental definitions:
+
+    bot_bool_eq ~> bot_bool_def
+    top_bool_eq ~> top_bool_def
+    inf_bool_eq ~> inf_bool_def
+    sup_bool_eq ~> sup_bool_def
+    bot_fun_eq ~> bot_fun_def
+    top_fun_eq ~> top_fun_def
+    inf_fun_eq ~> inf_fun_def
+    sup_fun_eq ~> sup_fun_def
+
 * Quickcheck now by default uses exhaustive testing instead of random
 testing.  Random testing can be invoked by quickcheck[random],
 exhaustive testing by quickcheck[exhaustive].