diff -r 35e1dff0d9bb -r b11653b11bd3 CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Fri Oct 17 17:41:34 2008 -0400
+++ b/CookBook/ROOT.ML	Mon Oct 20 06:22:11 2008 +0000
@@ -15,5 +15,6 @@
 use_thy "Appendix";
 use_thy "Recipes/NamedThms";
 use_thy "Recipes/Transformation";
+use_thy "Recipes/Antiquotes";
 
 use_thy "Solutions";
\ No newline at end of file