added NatClass;
authorwenzelm
Mon May 22 12:05:12 2000 +0200 (2000-05-22)
changeset 890996503b90307b
parent 8908 25f2bdc02123
child 8910 981ac87f905c
added NatClass;
src/FOL/ex/ROOT.ML
     1.1 --- a/src/FOL/ex/ROOT.ML	Mon May 22 11:57:27 2000 +0200
     1.2 +++ b/src/FOL/ex/ROOT.ML	Mon May 22 12:05:12 2000 +0200
     1.3 @@ -31,6 +31,8 @@
     1.4  time_use     "prop.ML";
     1.5  time_use     "quant.ML";
     1.6  
     1.7 +time_use_thy "NatClass";
     1.8 +
     1.9  writeln"\n** Simplification examples **\n";
    1.10  time_use_thy "Nat2";
    1.11  time_use_thy "List";