--- 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]);