(* Title: HOLCF/HOLCF.thy ID: $Id$ Author: Franz Regensburger Top theory for HOLCF system. *) theory HOLCF imports Sprod Ssum Up Lift Discrete One Tr Domain begin end