--- a/CookBook/ROOT.ML	Tue Sep 30 03:30:40 2008 -0400
+++ b/CookBook/ROOT.ML	Wed Oct 01 15:40:20 2008 -0400
@@ -4,3 +4,4 @@
 use_thy "FirstSteps";
 use_thy "Parsing";
 use_thy "NamedThms";
+use_thy "Transformation";
\ No newline at end of file