src/Sequents/LK/ROOT.ML
changeset 7091 b76a26835a5c
parent 6349 f7750d816c21
child 9000 c20d58286a51
--- 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";