--- a/src/FOL/ex/ROOT.ML Mon May 22 11:57:27 2000 +0200
+++ b/src/FOL/ex/ROOT.ML Mon May 22 12:05:12 2000 +0200
@@ -31,6 +31,8 @@
time_use "prop.ML";
time_use "quant.ML";
+time_use_thy "NatClass";
+
writeln"\n** Simplification examples **\n";
time_use_thy "Nat2";
time_use_thy "List";