--- a/doc-src/TutorialI/Types/types.tex Wed Oct 25 18:24:33 2000 +0200
+++ b/doc-src/TutorialI/Types/types.tex Wed Oct 25 18:25:41 2000 +0200
@@ -42,7 +42,7 @@
\index{overloading|)}
-\input{Types/document/Axioms}
+\input{Types/document/Axioms0}
\index{axiomatic type class|)}
\index{*axclass|)}