src/HOL/HOLCF/HOLCF.thy
author haftmann
Sun Jun 23 21:16:07 2013 +0200 (2013-06-23)
changeset 52435 6646bb548c6b
parent 45049 13efaee97111
child 65378 4bb51e6334ed
permissions -rw-r--r--
migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
     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