src/HOL/HOLCF/ROOT.ML
author huffman
Sat Nov 27 16:08:10 2010 -0800 (2010-11-27)
changeset 40774 0437dbc127b3
parent 40505 src/HOLCF/ROOT.ML@702708d26c9b
child 41413 64cd30d6b0b8
permissions -rw-r--r--
moved directory src/HOLCF to src/HOL/HOLCF;
added HOLCF theories to src/HOL/IsaMakefile;
     1 (*  Title:      HOLCF/ROOT.ML
     2     Author:     Franz Regensburger
     3 
     4 HOLCF -- a semantic extension of HOL by the LCF logic.
     5 *)
     6 
     7 no_document use_thys ["Nat_Bijection", "Countable"];
     8 
     9 use_thys ["Plain_HOLCF", "Fixrec", "HOLCF"];