--- a/src/HOL/Integ/NatSimprocs.thy Tue Jul 25 00:03:39 2000 +0200
+++ b/src/HOL/Integ/NatSimprocs.thy Tue Jul 25 00:06:46 2000 +0200
@@ -1,2 +1,7 @@
-theory NatSimprocs = NatBin:
+
+theory NatSimprocs = NatBin
+files "nat_simprocs.ML":
+
+setup nat_simprocs_setup
+
end