# HG changeset patch
# User nipkow
# Date 972491141 -7200
# Node ID a9898d89a6341696ae780b30c3c344000670f2ca
# Parent  bf33cbd76c050991ece116e46ff646135749052c
*** empty log message ***

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|)}