--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/PreList.thy Thu Mar 16 00:35:27 2000 +0100 @@ -0,0 +1,5 @@ + +theory PreList = + Option + WF_Rel + NatBin + Recdef + Record + RelPow + Sexp + Calculation + SVC_Oracle: + +end