changeset 40774 | 0437dbc127b3 |
parent 40773 | 6c12f5e24e34 |
child 40775 | ed7a4eadb2f6 |
--- a/src/HOLCF/ROOT.ML Sat Nov 27 14:34:54 2010 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -(* Title: HOLCF/ROOT.ML - Author: Franz Regensburger - -HOLCF -- a semantic extension of HOL by the LCF logic. -*) - -no_document use_thys ["Nat_Bijection", "Countable"]; - -use_thys ["Plain_HOLCF", "Fixrec", "HOLCF"];