# HG changeset patch
# User wenzelm
# Date 958864709 -7200
# Node ID cfc891bf7e5e2cf602fac7c81509a3356a93e3ff
# Parent  24975b9d26ca6154cd972b287dea8ee0100c4e7d
*** empty log message ***

diff -r 24975b9d26ca -r cfc891bf7e5e doc-src/AxClass/generated/Group.aux
--- a/doc-src/AxClass/generated/Group.aux	Sun May 21 01:17:12 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-\relax 
-\@setckpt{generated/Group}{
-\setcounter{page}{4}
-\setcounter{equation}{0}
-\setcounter{enumi}{0}
-\setcounter{enumii}{0}
-\setcounter{enumiii}{0}
-\setcounter{enumiv}{0}
-\setcounter{footnote}{0}
-\setcounter{mpfootnote}{0}
-\setcounter{part}{0}
-\setcounter{chapter}{0}
-\setcounter{section}{0}
-\setcounter{subsection}{0}
-\setcounter{subsubsection}{0}
-\setcounter{paragraph}{0}
-\setcounter{subparagraph}{0}
-\setcounter{figure}{0}
-\setcounter{table}{0}
-}
diff -r 24975b9d26ca -r cfc891bf7e5e doc-src/AxClass/generated/NatClass.aux
--- a/doc-src/AxClass/generated/NatClass.aux	Sun May 21 01:17:12 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-\relax 
-\@setckpt{generated/NatClass}{
-\setcounter{page}{6}
-\setcounter{equation}{0}
-\setcounter{enumi}{0}
-\setcounter{enumii}{0}
-\setcounter{enumiii}{0}
-\setcounter{enumiv}{0}
-\setcounter{footnote}{0}
-\setcounter{mpfootnote}{0}
-\setcounter{part}{0}
-\setcounter{chapter}{0}
-\setcounter{section}{0}
-\setcounter{subsection}{0}
-\setcounter{subsubsection}{0}
-\setcounter{paragraph}{0}
-\setcounter{subparagraph}{0}
-\setcounter{figure}{0}
-\setcounter{table}{0}
-}
diff -r 24975b9d26ca -r cfc891bf7e5e doc-src/AxClass/generated/Product.aux
--- a/doc-src/AxClass/generated/Product.aux	Sun May 21 01:17:12 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-\relax 
-\@setckpt{generated/Product}{
-\setcounter{page}{5}
-\setcounter{equation}{0}
-\setcounter{enumi}{0}
-\setcounter{enumii}{0}
-\setcounter{enumiii}{0}
-\setcounter{enumiv}{0}
-\setcounter{footnote}{0}
-\setcounter{mpfootnote}{0}
-\setcounter{part}{0}
-\setcounter{chapter}{0}
-\setcounter{section}{0}
-\setcounter{subsection}{0}
-\setcounter{subsubsection}{0}
-\setcounter{paragraph}{0}
-\setcounter{subparagraph}{0}
-\setcounter{figure}{0}
-\setcounter{table}{0}
-}
diff -r 24975b9d26ca -r cfc891bf7e5e doc-src/AxClass/generated/Semigroup.aux
--- a/doc-src/AxClass/generated/Semigroup.aux	Sun May 21 01:17:12 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-\relax 
-\@setckpt{generated/Semigroup}{
-\setcounter{page}{2}
-\setcounter{equation}{0}
-\setcounter{enumi}{0}
-\setcounter{enumii}{0}
-\setcounter{enumiii}{0}
-\setcounter{enumiv}{0}
-\setcounter{footnote}{0}
-\setcounter{mpfootnote}{0}
-\setcounter{part}{0}
-\setcounter{chapter}{0}
-\setcounter{section}{0}
-\setcounter{subsection}{0}
-\setcounter{subsubsection}{0}
-\setcounter{paragraph}{0}
-\setcounter{subparagraph}{0}
-\setcounter{figure}{0}
-\setcounter{table}{0}
-}
diff -r 24975b9d26ca -r cfc891bf7e5e doc-src/AxClass/generated/Semigroups.aux
--- a/doc-src/AxClass/generated/Semigroups.aux	Sun May 21 01:17:12 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-\relax 
-\@setckpt{generated/Semigroups}{
-\setcounter{page}{3}
-\setcounter{equation}{0}
-\setcounter{enumi}{0}
-\setcounter{enumii}{0}
-\setcounter{enumiii}{0}
-\setcounter{enumiv}{0}
-\setcounter{footnote}{0}
-\setcounter{mpfootnote}{0}
-\setcounter{part}{0}
-\setcounter{chapter}{0}
-\setcounter{section}{0}
-\setcounter{subsection}{0}
-\setcounter{subsubsection}{0}
-\setcounter{paragraph}{0}
-\setcounter{subparagraph}{0}
-\setcounter{figure}{0}
-\setcounter{table}{0}
-}