src/Pure/axclass.ML
changeset 10008 61eb9f3aa92a
parent 8927 1cf815412d78
child 10309 a7f961fb62c6
--- a/src/Pure/axclass.ML	Sun Sep 17 22:19:02 2000 +0200
+++ b/src/Pure/axclass.ML	Sun Sep 17 22:21:31 2000 +0200
@@ -189,7 +189,8 @@
         (Pretty.str (ext_class c) :: Pretty.str " <" :: Pretty.brk 1 ::
           Pretty.breaks (map (Pretty.str o ext_class) cs));
 
-      fun pretty_thms name thms = Pretty.big_list (name ^ ":") (map Display.pretty_thm thms);
+      fun pretty_thms name thms = Pretty.big_list (name ^ ":")
+        (map (Display.pretty_thm_sg sg) thms);
 
       fun pretty_axclass (name, {super_classes, intro, axioms}) = Pretty.block (Pretty.fbreaks
         [pretty_class name super_classes, pretty_thms introN [intro], pretty_thms axiomsN axioms]);