src/Pure/axclass.ML
changeset 8720 840c75ab2a7f
parent 8716 49ac76cf0d54
child 8897 fb1436ca3b2e
     1.1 --- a/src/Pure/axclass.ML	Sat Apr 15 17:41:20 2000 +0200
     1.2 +++ b/src/Pure/axclass.ML	Mon Apr 17 13:57:55 2000 +0200
     1.3 @@ -193,7 +193,7 @@
     1.4  
     1.5        fun pretty_axclass (name, {super_classes, intro, axioms}) = Pretty.block (Pretty.fbreaks
     1.6          [pretty_class name super_classes, pretty_thms introN [intro], pretty_thms axiomsN axioms]);
     1.7 -    in seq (Pretty.writeln o pretty_axclass) (Symtab.dest tab) end;
     1.8 +    in Pretty.writeln (Pretty.chunks (map pretty_axclass (Symtab.dest tab))) end;
     1.9  end;
    1.10  
    1.11  structure AxclassesData = TheoryDataFun(AxclassesArgs);