src/HOL/Predicate_Compile_Examples/ROOT.ML

--- a/src/HOL/Predicate_Compile_Examples/ROOT.ML	Mon Oct 25 21:17:11 2010 +0200
+++ b/src/HOL/Predicate_Compile_Examples/ROOT.ML	Mon Oct 25 21:17:12 2010 +0200
@@ -5,9 +5,9 @@
   "Specialisation_Examples",
   "Hotel_Example_Small_Generator",
   "IMP_1",
-  "IMP_2",
-  "IMP_3",
-  "IMP_4"];
+  "IMP_2"
+(*  "IMP_3",
+  "IMP_4"*)];
 
 if getenv "EXEC_SWIPL" = "" andalso getenv "EXEC_YAP" = "" then
   (warning "No prolog system found - skipping some example theories"; ())