diff -r cd861a121f60 -r 2a69b119cdee CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Fri Sep 05 09:49:51 2008 +0200
+++ b/CookBook/ROOT.ML	Sat Sep 06 04:32:18 2008 +0200
@@ -2,5 +2,5 @@
 
 use_thy "Intro";
 use_thy "FirstSteps";
-
+use_thy "Parsing";
 use_thy "NamedThms";