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