--- a/src/HOL/PreList.thy Fri Apr 21 11:27:28 2000 +0200
+++ b/src/HOL/PreList.thy Fri Apr 21 11:28:18 2000 +0200
@@ -9,6 +9,7 @@
theory PreList =
Option + WF_Rel + NatBin + Recdef + Record + RelPow + Sexp + Calculation
- + SVC_Oracle:
+ + SVC_Oracle
+files "Integ/NatSimprocs.ML":
end