# HG changeset patch
# User haftmann
# Date 1183050572 -7200
# Node ID 7067f5e3670f4606f9b2b74bbdc8446d473f4e74
# Parent  4521fead56094fa9e396e0bbeaf1d0acb3a7d11e
simplified keyword setup

diff -r 4521fead5609 -r 7067f5e3670f 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 *}