improved msg;
authorwenzelm
Wed Aug 25 20:39:50 1999 +0200 (1999-08-25 ago)
changeset 7353b5a5abea1559
parent 7352 d98001b492b3
child 7354 358b1c5391f0
improved msg;
src/Pure/Isar/isar_thy.ML
     1.1 --- a/src/Pure/Isar/isar_thy.ML	Wed Aug 25 20:39:18 1999 +0200
     1.2 +++ b/src/Pure/Isar/isar_thy.ML	Wed Aug 25 20:39:50 1999 +0200
     1.3 @@ -339,7 +339,7 @@
     1.4    Pretty.block [Pretty.str (kind ^ " " ^ name ^ ":"), Pretty.fbrk, Proof.pretty_thm thm];
     1.5  
     1.6  fun pretty_rule thm =
     1.7 -  Pretty.block [Pretty.str "solving goal by rule:", Pretty.fbrk, Proof.pretty_thm thm];
     1.8 +  Pretty.block [Pretty.str "trying to solve goal by rule:", Pretty.fbrk, Proof.pretty_thm thm];
     1.9  
    1.10  val print_result = Pretty.writeln o pretty_result;
    1.11