src/HOLCF/ROOT.ML
author huffman
Wed Nov 10 17:56:08 2010 -0800 (2010-11-10)
changeset 40502 8e92772bc0e8
parent 39982 5681f840688b
child 40505 702708d26c9b
permissions -rw-r--r--
move map functions to new theory file Map_Functions; add theory file Plain_HOLCF
wenzelm@3623
     1
(*  Title:      HOLCF/ROOT.ML
clasohm@1461
     2
    Author:     Franz Regensburger
nipkow@243
     3
wenzelm@16841
     4
HOLCF -- a semantic extension of HOL by the LCF logic.
nipkow@243
     5
*)
nipkow@243
     6
huffman@39982
     7
no_document use_thys ["Nat_Bijection", "Countable"];
nipkow@29921
     8
wenzelm@33615
     9
use_thys ["HOLCF"];