diff -r 4536782969fa -r c39f83d8daeb CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Sat Feb 14 16:09:04 2009 +0000
+++ b/CookBook/ROOT.ML	Sun Feb 15 18:58:21 2009 +0000
@@ -22,6 +22,7 @@
 use_thy "Recipes/Config";
 use_thy "Recipes/StoringData";
 use_thy "Recipes/ExternalSolver";
+use_thy "Recipes/Oracle";
 
 use_thy "Solutions";
 use_thy "Readme";