Theory HOLCF

theory HOLCF
imports Powerdomains
(*  Title:      HOL/HOLCF/HOLCF.thy
Author: Franz Regensburger

HOLCF -- a semantic extension of HOL by the LCF logic.
*)


theory HOLCF
imports
Main
Domain
Powerdomains
begin

default_sort "domain"

end