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