--- a/doc-src/AxClass/generated/session.tex Sun May 21 14:49:28 2000 +0200
+++ b/doc-src/AxClass/generated/session.tex Sun May 21 21:48:39 2000 +0200
@@ -1,4 +1,1 @@
-\input{Semigroup.tex}
-\input{Semigroups.tex}
-\input{Group.tex}
-\input{Product.tex}
+\input{NatClass.tex}