diff -r f76135c6c527 -r ce754ad78bc9 ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Thu Oct 01 10:19:21 2009 +0200
+++ b/ProgTutorial/ROOT.ML	Fri Oct 02 15:38:14 2009 +0200
@@ -20,8 +20,6 @@
 use_thy "Recipes/Antiquotes";
 use_thy "Recipes/TimeLimit";
 use_thy "Recipes/Timing";
-use_thy "Recipes/Config";
-use_thy "Recipes/StoringData";
 use_thy "Recipes/ExternalSolver";
 use_thy "Recipes/Oracle";
 use_thy "Recipes/Sat";