diff -r bf33cbd76c05 -r a9898d89a634 doc-src/TutorialI/Types/types.tex
--- 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|)}