src/FOL/ex/ROOT.ML

--- a/src/FOL/ex/ROOT.ML	Fri Apr 27 14:21:23 2007 +0200
+++ b/src/FOL/ex/ROOT.ML	Fri Apr 27 16:31:20 2007 +0200
@@ -30,10 +30,6 @@
 
 time_use_thy "NatClass";
 
-writeln"\n** Simplification examples **\n";
-time_use_thy "Nat2";
-time_use_thy "List";
-
 time_use_thy "IffOracle";
 
 (*regression test for locales -- sets several global flags!*)