src/HOL/HOLCF/ROOT.ML
changeset 40774 0437dbc127b3
parent 40505 702708d26c9b
child 41413 64cd30d6b0b8
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/HOLCF/ROOT.ML	Sat Nov 27 16:08:10 2010 -0800
     1.3 @@ -0,0 +1,9 @@
     1.4 +(*  Title:      HOLCF/ROOT.ML
     1.5 +    Author:     Franz Regensburger
     1.6 +
     1.7 +HOLCF -- a semantic extension of HOL by the LCF logic.
     1.8 +*)
     1.9 +
    1.10 +no_document use_thys ["Nat_Bijection", "Countable"];
    1.11 +
    1.12 +use_thys ["Plain_HOLCF", "Fixrec", "HOLCF"];