--- a/doc-src/TutorialI/Types/ROOT.ML Wed Nov 29 10:22:38 2000 +0100
+++ b/doc-src/TutorialI/Types/ROOT.ML Wed Nov 29 13:44:26 2000 +0100
@@ -1,4 +1,5 @@
use "../settings.ML";
+use_thy "Pairs";
use_thy "Typedef";
use_thy "Overloading0";
use_thy "Overloading2";