src/HOL/PreList.thy
author wenzelm
Thu Mar 16 00:35:27 2000 +0100 (2000-03-16)
changeset 8490 6e0f23304061
child 8563 2746bc9a7ef2
permissions -rw-r--r--
added HOL/PreLIst.thy;
     1 
     2 theory PreList =
     3   Option + WF_Rel + NatBin + Recdef + Record + RelPow + Sexp + Calculation + SVC_Oracle:
     4 
     5 end