src/Pure/old_goals.ML
changeset 32091 30e2ffbba718
parent 32089 568a23753e3a
child 32145 220c9e439d39
     1.1 --- a/src/Pure/old_goals.ML	Tue Jul 21 00:56:19 2009 +0200
     1.2 +++ b/src/Pure/old_goals.ML	Tue Jul 21 01:03:18 2009 +0200
     1.3 @@ -199,7 +199,7 @@
     1.4    case e of
     1.5       THM (msg,i,thms) =>
     1.6           (writeln ("Exception THM " ^ string_of_int i ^ " raised:\n" ^ msg);
     1.7 -          List.app Display.print_thm thms)
     1.8 +          List.app (writeln o Display.string_of_thm_global thy) thms)
     1.9     | THEORY (msg,thys) =>
    1.10           (writeln ("Exception THEORY raised:\n" ^ msg);
    1.11            List.app (writeln o Context.str_of_thy) thys)