src/Pure/Isar/isar_cmd.ML
changeset 51583 9100c8e66b69
parent 50737 f310d1735d93
child 51717 9e7d1c139569
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Sat Mar 30 11:43:17 2013 +0100
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Sat Mar 30 12:13:39 2013 +0100
     1.3 @@ -394,7 +394,7 @@
     1.4    |> Pretty.chunks2 |> Pretty.string_of;
     1.5  
     1.6  fun string_of_thms ctxt args =
     1.7 -  Pretty.string_of (Display.pretty_thms ctxt (Attrib.eval_thms ctxt args));
     1.8 +  Pretty.string_of (Proof_Context.pretty_fact ctxt ("", Attrib.eval_thms ctxt args));
     1.9  
    1.10  fun string_of_prfs full state arg =
    1.11    Pretty.string_of