# HG changeset patch
# User paulson
# Date 857552732 -3600
# Node ID e050f8bb117742c40e25818e478d2eb53fe3bc74
# Parent  9453616d4b803e077b4f8eac54907b2f62ebdda3
HOL: renaming of "not"

diff -r 9453616d4b80 -r e050f8bb1177 NEWS
--- 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;