--- a/src/Pure/Isar/calculation.ML Fri Mar 29 22:13:02 2013 +0100
+++ b/src/Pure/Isar/calculation.ML Fri Mar 29 22:14:27 2013 +0100
@@ -41,11 +41,11 @@
fun print_rules ctxt =
let val (trans, sym) = get_rules ctxt in
- [Pretty.big_list "transitivity rules:"
- (map (Display.pretty_thm ctxt) (Item_Net.content trans)),
- Pretty.big_list "symmetry rules:" (map (Display.pretty_thm ctxt) sym)]
- |> Pretty.chunks |> Pretty.writeln
- end;
+ [Pretty.big_list "transitivity rules:"
+ (map (Pretty.item o single o Display.pretty_thm ctxt) (Item_Net.content trans)),
+ Pretty.big_list "symmetry rules:"
+ (map (Pretty.item o single o Display.pretty_thm ctxt) sym)]
+ end |> Pretty.chunks |> Pretty.writeln;
(* access calculation *)