# HG changeset patch
# User paulson
# Date 979121537 -3600
# Node ID b35a68ec8892444bf8f6f894325ac998cbcc5901
# Parent  623141a08705c4a516a96a4a72a850a885c20f45
loads the new theory

diff -r 623141a08705 -r b35a68ec8892 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";