diff -r f6f8f8ba1eb1 -r f2dea0465bb4 CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Fri Jan 16 14:57:36 2009 +0000
+++ b/CookBook/ROOT.ML	Fri Jan 23 17:50:35 2009 +0000
@@ -5,6 +5,7 @@
 use_thy "Intro";
 use_thy "FirstSteps";
 use_thy "Parsing";
+use_thy "Tactical";
 
 no_document use_thy "Package/Simple_Inductive_Package";
 use_thy "Package/Ind_Intro";