src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Wed Jun 27 12:41:36 2007 +0200
+++ b/src/HOL/HOL.thy	Thu Jun 28 19:09:32 2007 +0200
@@ -1630,7 +1630,7 @@
   bool true false not
 
 code_reserved OCaml
-  bool true false not
+  bool not
 
 
 text {* type prop *}