src/Pure/Isar/proof_display.ML
changeset 33643 b275f26a638b
parent 33515 d066e8369a33
child 36610 bafd82950e24
     1.1 --- a/src/Pure/Isar/proof_display.ML	Thu Nov 12 21:59:35 2009 +0100
     1.2 +++ b/src/Pure/Isar/proof_display.ML	Thu Nov 12 22:02:11 2009 +0100
     1.3 @@ -91,7 +91,7 @@
     1.4  in
     1.5  
     1.6  fun print_results do_print ctxt ((kind, name), facts) =
     1.7 -  if not do_print orelse kind = "" orelse kind = Thm.internalK then ()
     1.8 +  if not do_print orelse kind = "" then ()
     1.9    else if name = "" then
    1.10      Pretty.writeln (Pretty.block (Pretty.str kind :: Pretty.brk 1 :: pretty_facts ctxt facts))
    1.11    else Pretty.writeln