src/Pure/Isar/isar_thy.ML
changeset 11048 2f4976370b7a
parent 10935 808e9dbc68c4
child 11717 d808005e6e08
--- a/src/Pure/Isar/isar_thy.ML	Sat Feb 03 17:43:05 2001 +0100
+++ b/src/Pure/Isar/isar_thy.ML	Sat Feb 03 17:43:34 2001 +0100
@@ -376,7 +376,7 @@
 val print_result = Pretty.writeln o pretty_result;
 
 fun cond_print_result_rule int =
-  if int then (print_result, priority o Pretty.string_of o pretty_rule "Trying")
+  if int then (print_result, priority o Pretty.string_of o pretty_rule "Attempt")
   else (K (), K ());
 
 fun proof'' f = Toplevel.proof' (f o cond_print_result_rule);