src/HOL/PreList.thy
changeset 8862 78643f8449c6
parent 8840 18b76c137c41
child 9066 b1e874e38dab
     1.1 --- a/src/HOL/PreList.thy	Fri May 12 15:02:57 2000 +0200
     1.2 +++ b/src/HOL/PreList.thy	Fri May 12 15:05:02 2000 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  *)
     1.5  
     1.6  theory PreList =
     1.7 -  Option + WF_Rel + NatBin + Recdef + Record + RelPow + Calculation + SVC_Oracle
     1.8 -files "Integ/NatSimprocs.ML":
     1.9 +  Option + WF_Rel + NatSimprocs + Recdef + Record + RelPow + Calculation + 
    1.10 +  SVC_Oracle:
    1.11  
    1.12  end