--- a/doc-src/TutorialI/Types/ROOT.ML Mon Dec 04 17:30:15 2000 +0100
+++ b/doc-src/TutorialI/Types/ROOT.ML Mon Dec 04 17:30:40 2000 +0100
@@ -1,4 +1,6 @@
+(* ID: $Id$ *)
use "../settings.ML";
+use_thy "Numbers";
use_thy "Pairs";
use_thy "Typedef";
use_thy "Overloading0";