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