author | wenzelm |
Tue, 13 Jun 2000 18:33:34 +0200 | |
changeset 9058 | 7856a01119fb |
parent 8862 | 78643f8449c6 |
child 9066 | b1e874e38dab |
permissions | -rw-r--r-- |
(* Title: HOL/List.thy ID: $Id$ Author: Tobias Nipkow Copyright 2000 TU Muenchen A basis for building theory List on. Is defined separately to serve as a basis for theory ToyList in the documentation. *) theory PreList = Option + WF_Rel + NatSimprocs + Recdef + Record + RelPow + Calculation + SVC_Oracle: end