--- 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 *}