src/HOL/HOLCF/HOLCF.thy
author wenzelm
Sat Nov 04 15:24:40 2017 +0100 (20 months ago)
changeset 67003 49850a679c2c
parent 65378 4bb51e6334ed
permissions -rw-r--r--
more robust sorted_entries;
     1 (*  Title:      HOL/HOLCF/HOLCF.thy
     2     Author:     Franz Regensburger
     3     Author:     Brian Huffman
     4 
     5 HOLCF -- a semantic extension of HOL by the LCF logic.
     6 *)
     7 
     8 theory HOLCF
     9 imports
    10   Main
    11   Domain
    12   Powerdomains
    13 begin
    14 
    15 default_sort "domain"
    16 
    17 end