src/HOL/Hoare/Hoare.thy

--- a/src/HOL/Hoare/Hoare.thy	Fri Jul 21 12:30:08 2000 +0200
+++ b/src/HOL/Hoare/Hoare.thy	Fri Jul 21 16:35:12 2000 +0200
@@ -83,7 +83,7 @@
 
 
 (* bexp_tr & assn_tr *)
-(*all meta-variables for bexp except for TRUE and FALSE are translated as if they
+(*all meta-variables for bexp except for TRUE are translated as if they
   were boolean expressions*)
   
 fun bexp_tr (Const ("TRUE", _)) xs = Syntax.const "TRUE"