doc-src/TutorialI/Rules/ROOT.ML

--- a/doc-src/TutorialI/Rules/ROOT.ML	Wed Jan 10 11:09:11 2001 +0100
+++ b/doc-src/TutorialI/Rules/ROOT.ML	Wed Jan 10 11:12:17 2001 +0100
@@ -2,5 +2,5 @@
 use_thy "Basic";
 use_thy "Blast";
 use_thy "Force";
-use_thy "Primes";
+use_thy "Forward";