# HG changeset patch
# User wenzelm
# Date 958989912 -7200
# Node ID 96503b90307b67333950d4bbe629a51b08d4a864
# Parent  25f2bdc02123cf339f15cb03e3e718784d7b0b18
added NatClass;

diff -r 25f2bdc02123 -r 96503b90307b src/FOL/ex/ROOT.ML
--- 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";