src/Pure/axclass.ML
changeset 8720 840c75ab2a7f
parent 8716 49ac76cf0d54
child 8897 fb1436ca3b2e
--- a/src/Pure/axclass.ML	Sat Apr 15 17:41:20 2000 +0200
+++ b/src/Pure/axclass.ML	Mon Apr 17 13:57:55 2000 +0200
@@ -193,7 +193,7 @@
 
       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]);
-    in seq (Pretty.writeln o pretty_axclass) (Symtab.dest tab) end;
+    in Pretty.writeln (Pretty.chunks (map pretty_axclass (Symtab.dest tab))) end;
 end;
 
 structure AxclassesData = TheoryDataFun(AxclassesArgs);