# HG changeset patch
# User huffman
# Date 1268621233 25200
# Node ID 950d098c4a121d6cf8797cd9a3fa8e8541ea6434
# Parent  48cd2261817ba097117bf107ac541edcd87e278d
no_document for theory Countable

diff -r 48cd2261817b -r 950d098c4a12 src/HOLCF/ROOT.ML
--- 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"];