--- a/src/HOL/Isar_examples/ROOT.ML Tue May 02 18:55:11 2000 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML Tue May 02 18:55:33 2000 +0200
@@ -12,9 +12,9 @@
time_use_thy "Group";
time_use_thy "Summation";
time_use_thy "KnasterTarski";
-time_use_thy "MutilatedCheckerboard";
+(*TEMPORARILY DELETED time_use_thy "MutilatedCheckerboard";*)
with_path "../Induct" time_use_thy "MultisetOrder";
with_path "../W0" time_use_thy "W_correct";
-with_path "../ex" time_use_thy "Fibonacci";
+(*TEMPORARILY DELETED with_path "../ex" time_use_thy "Fibonacci";*)
time_use_thy "Puzzle";
time_use_thy "NestedDatatype";