(* Title: HOL/HOLCF/HOLCF.thy Author: Franz Regensburger Author: Brian Huffman HOLCF -- a semantic extension of HOL by the LCF logic. *) theory HOLCF imports Main Domain Powerdomains begin default_sort "domain" end