| author | huffman |
| Sun, 14 Mar 2010 19:47:13 -0700 | |
| changeset 35793 | 950d098c4a12 |
| parent 35792 | 48cd2261817b |
| child 35794 | 8cd7134275cc |
| src/HOLCF/ROOT.ML | file | annotate | diff | comparison | revisions |
--- a/src/HOLCF/ROOT.ML Sun Mar 14 14:10:36 2010 -0700 +++ b/src/HOLCF/ROOT.ML Sun Mar 14 19:47:13 2010 -0700 @@ -4,6 +4,6 @@ HOLCF -- a semantic extension of HOL by the LCF logic. *) -no_document use_thys ["Nat_Bijection", "Infinite_Set"]; +no_document use_thys ["Nat_Bijection", "Infinite_Set", "Countable"]; use_thys ["HOLCF"];