--- a/src/HOL/Hoare/hoare.ML Fri Feb 11 18:51:00 2005 +0100
+++ b/src/HOL/Hoare/hoare.ML Sun Feb 13 17:15:14 2005 +0100
@@ -89,7 +89,7 @@
(*****************************************************************************)
(** Simplifying: **)
-(** Some useful lemmata, lists and simplification tactics to control which **)
+(** SOME useful lemmata, lists and simplification tactics to control which **)
(** theorems are used to simplify at each moment, so that the original **)
(** input does not suffer any unexpected transformation **)
(*****************************************************************************)