src/Pure/Isar/method.ML
changeset 26291 d01bf7b10c75
parent 25957 2cfb703fa8d8
child 26385 ae7564661e76
     1.1 --- a/src/Pure/Isar/method.ML	Sat Mar 15 22:07:31 2008 +0100
     1.2 +++ b/src/Pure/Isar/method.ML	Sat Mar 15 22:07:32 2008 +0100
     1.3 @@ -222,7 +222,7 @@
     1.4  
     1.5  fun legacy_tac st =
     1.6    (legacy_feature
     1.7 -      ("implicit use of prems in assumption proof" ^ Position.str_of (Position.thread_data ()));
     1.8 +      ("Implicit use of prems in assumption proof" ^ Position.str_of (Position.thread_data ()));
     1.9      all_tac st);
    1.10  
    1.11  fun assm_tac ctxt =