--- a/src/Pure/Isar/context_rules.ML Sat Mar 30 12:13:39 2013 +0100
+++ b/src/Pure/Isar/context_rules.ML Sat Mar 30 13:40:19 2013 +0100
@@ -117,7 +117,7 @@
fun prt_kind (i, b) =
Pretty.big_list ((the o AList.lookup (op =) kind_names) (i, b) ^ ":")
(map_filter (fn (_, (k, th)) =>
- if k = (i, b) then SOME (Pretty.item [Display.pretty_thm ctxt th]) else NONE)
+ if k = (i, b) then SOME (Display.pretty_thm_item ctxt th) else NONE)
(sort (int_ord o pairself fst) rules));
in Pretty.writeln (Pretty.chunks (map prt_kind rule_kinds)) end;