--- a/src/Sequents/LK/ROOT.ML Tue Jul 27 17:30:25 1999 +0200 +++ b/src/Sequents/LK/ROOT.ML Tue Jul 27 18:50:14 1999 +0200 @@ -12,3 +12,4 @@ time_use "prop.ML"; time_use "quant.ML"; time_use "hardquant.ML"; +use_thy "Nat";