HOL: renaming of "not"

--- a/NEWS	Wed Mar 05 10:04:45 1997 +0100
+++ b/NEWS	Wed Mar 05 10:05:32 1997 +0100
@@ -38,6 +38,9 @@
 
 * HOL: primrec now also works with type nat;
 
+* HOL: the constant for negation has been renamed from "not" to "Not" to
+harmonize with FOL, ZF, LK, etc.
+
 * new utilities to build / run / maintain Isabelle etc. (in parts
 still somewhat experimental); old Makefiles etc. still functional;