1(*  Title:      HOL/HOLCF/HOLCF.thy
2    Author:     Franz Regensburger
3    Author:     Brian Huffman
4
5HOLCF -- a semantic extension of HOL by the LCF logic.
6*)
7
8theory HOLCF
9imports
10  Main
11  Domain
12  Powerdomains
13begin
14
15default_sort "domain"
16
17end
18