doc-src/TutorialI/Rules/ROOT.ML

--- a/doc-src/TutorialI/Rules/ROOT.ML	Sun Jan 21 19:55:25 2001 +0100
+++ b/doc-src/TutorialI/Rules/ROOT.ML	Mon Jan 22 11:01:05 2001 +0100
@@ -3,4 +3,5 @@
 use_thy "Blast";
 use_thy "Force";
 use_thy "Forward";
+use_thy "Tacticals";