1 (* Title: HOLCF/HOLCF.thy
2 ID: $Id$
3 Author: Franz Regensburger
4 License: GPL (GNU GENERAL PUBLIC LICENSE)
5
6 Top theory for HOLCF system.
7 *)
8
9 HOLCF = Sprod3 + Ssum3 + Up3 + Lift + Discrete + One + Tr