--- a/src/Provers/classical.ML Fri Mar 29 22:13:02 2013 +0100
+++ b/src/Provers/classical.ML Fri Mar 29 22:14:27 2013 +0100
@@ -609,7 +609,7 @@
fun print_claset ctxt =
let
val {safeIs, safeEs, hazIs, hazEs, swrappers, uwrappers, ...} = rep_claset_of ctxt;
- val pretty_thms = map (Display.pretty_thm ctxt) o Item_Net.content;
+ val pretty_thms = map (Pretty.item o single o Display.pretty_thm ctxt) o Item_Net.content;
in
[Pretty.big_list "safe introduction rules (intro!):" (pretty_thms safeIs),
Pretty.big_list "introduction rules (intro):" (pretty_thms hazIs),