diff -r e2c0138b5cea -r 13d7ea419c5f ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Tue Jun 19 17:58:12 2012 +0100
+++ b/ProgTutorial/ROOT.ML	Wed Jun 20 08:29:12 2012 +0100
@@ -29,7 +29,6 @@
 use_thy "Recipes/ExternalSolver";
 use_thy "Recipes/Oracle";
 use_thy "Recipes/Sat";
-use_thy "Recipes/Introspection";
 use_thy "Recipes/USTypes";
 
 use_thy "Solutions";