| author | huffman |
| Thu, 07 Oct 2010 13:19:45 -0700 | |
| changeset 39982 | 5681f840688b |
| parent 39981 | fdff0444fa7d |
| child 39983 | 910d3ea1efa8 |
| src/HOLCF/ROOT.ML | file | annotate | diff | comparison | revisions |
--- a/src/HOLCF/ROOT.ML Thu Oct 07 13:18:48 2010 -0700 +++ b/src/HOLCF/ROOT.ML Thu Oct 07 13:19:45 2010 -0700 @@ -4,6 +4,6 @@ HOLCF -- a semantic extension of HOL by the LCF logic. *) -no_document use_thys ["Nat_Bijection", "Infinite_Set", "Countable"]; +no_document use_thys ["Nat_Bijection", "Countable"]; use_thys ["HOLCF"];