diff -r e025bf1cc0f1 -r d01bf7b10c75 src/Pure/Isar/method.ML
--- a/src/Pure/Isar/method.ML	Sat Mar 15 22:07:31 2008 +0100
+++ b/src/Pure/Isar/method.ML	Sat Mar 15 22:07:32 2008 +0100
@@ -222,7 +222,7 @@
 
 fun legacy_tac st =
   (legacy_feature
-      ("implicit use of prems in assumption proof" ^ Position.str_of (Position.thread_data ()));
+      ("Implicit use of prems in assumption proof" ^ Position.str_of (Position.thread_data ()));
     all_tac st);
 
 fun assm_tac ctxt =