doc-src/AxClass/generated/NatClass.aux
author wenzelm
Sun, 21 May 2000 01:12:00 +0200
changeset 8890 9a44d8d98731
permissions -rw-r--r--
snapshot of new Isar'ized version;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8890
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     1
\relax 
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     2
\@setckpt{generated/NatClass}{
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     3
\setcounter{page}{6}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     4
\setcounter{equation}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     5
\setcounter{enumi}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     6
\setcounter{enumii}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     7
\setcounter{enumiii}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     8
\setcounter{enumiv}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     9
\setcounter{footnote}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    10
\setcounter{mpfootnote}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    11
\setcounter{part}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    12
\setcounter{chapter}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    13
\setcounter{section}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    14
\setcounter{subsection}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    15
\setcounter{subsubsection}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    16
\setcounter{paragraph}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    17
\setcounter{subparagraph}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    18
\setcounter{figure}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    19
\setcounter{table}{0}
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
    20
}