src/Provers/classical.ML
changeset 51584 98029ceda8ce
parent 51580 64ef8260dc60
child 51658 21c10672633b
     1.1 --- a/src/Provers/classical.ML	Sat Mar 30 12:13:39 2013 +0100
     1.2 +++ b/src/Provers/classical.ML	Sat Mar 30 13:40:19 2013 +0100
     1.3 @@ -609,7 +609,7 @@
     1.4  fun print_claset ctxt =
     1.5    let
     1.6      val {safeIs, safeEs, hazIs, hazEs, swrappers, uwrappers, ...} = rep_claset_of ctxt;
     1.7 -    val pretty_thms = map (Pretty.item o single o Display.pretty_thm ctxt) o Item_Net.content;
     1.8 +    val pretty_thms = map (Display.pretty_thm_item ctxt) o Item_Net.content;
     1.9    in
    1.10      [Pretty.big_list "safe introduction rules (intro!):" (pretty_thms safeIs),
    1.11        Pretty.big_list "introduction rules (intro):" (pretty_thms hazIs),