diff -r a705822f4e2a -r 78d6e47469e4 doc-src/AxClass/generated/session.tex
--- 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}