--- a/doc-src/AxClass/axclass.tex Mon Oct 27 11:34:33 1997 +0100
+++ b/doc-src/AxClass/axclass.tex Mon Oct 27 15:29:01 1997 +0100
@@ -31,7 +31,7 @@
trivial.
These problems prevented the axclass package to be used seriously ---
-they have been fixed in \Isa95.
+they have been fixed in \Isa94-2.
\section{Some simple examples} \label{sec:ex}
@@ -611,7 +611,7 @@
of satisfiability. The meta-logic won't break, even if some class (or
general sort) turns out to be empty (``inconsistent'')
later\footnote{As a consequence of an old bug, this is \E{not} true
- for pre-\Isa95 versions.}.
+ for pre-\Isa94-2 versions.}.
For example, we may derive the following abstract natural numbers
theorems: