src/HOL/HOLCF/HOLCF.thy
author wenzelm
Sun Sep 18 20:33:48 2016 +0200 (2016-09-18)
changeset 63915 bab633745c7f
parent 45049 13efaee97111
child 65378 4bb51e6334ed
permissions -rw-r--r--
tuned proofs;
     1 (*  Title:      HOL/HOLCF/HOLCF.thy
     2     Author:     Franz Regensburger
     3 
     4 HOLCF -- a semantic extension of HOL by the LCF logic.
     5 *)
     6 
     7 theory HOLCF
     8 imports
     9   Main
    10   Domain
    11   Powerdomains
    12 begin
    13 
    14 default_sort "domain"
    15 
    16 end