doc-src/TutorialI/Types/ROOT.ML

--- a/doc-src/TutorialI/Types/ROOT.ML	Sat Oct 20 22:07:44 2001 +0200
+++ b/doc-src/TutorialI/Types/ROOT.ML	Sun Oct 21 19:35:40 2001 +0200
@@ -3,7 +3,7 @@
 use_thy "Numbers";
 use_thy "Pairs";
 use_thy "Records";
-use_thy "Typedef";
+use_thy "Typedefs";
 use_thy "Overloading0";
 use_thy "Overloading2";
 use_thy "Axioms";