diff -r 2444085532c6 -r 6d9bec7b0b9e doc-src/AxClass/axclass.tex
--- 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: