equal
deleted
inserted
replaced
6 A basis for building theory List on. Is defined separately to serve as a 
6 A basis for building theory List on. Is defined separately to serve as a 
7 basis for theory ToyList in the documentation. 
7 basis for theory ToyList in the documentation. 
8 *) 
8 *) 
9 
9 
10 theory PreList = 
10 theory PreList = 
11 Option + WF_Rel + NatBin + Recdef + Record + RelPow + Sexp + Calculation 
11 Option + WF_Rel + NatBin + Recdef + Record + RelPow + Calculation + SVC_Oracle 
12 + SVC_Oracle 

13 files "Integ/NatSimprocs.ML": 
12 files "Integ/NatSimprocs.ML": 
14 
13 
15 end 
14 end 