no_document for theory Countable
authorhuffman
Sun Mar 14 19:47:13 2010 -0700 (2010-03-14)
changeset 35793950d098c4a12
parent 35792 48cd2261817b
child 35794 8cd7134275cc
no_document for theory Countable
src/HOLCF/ROOT.ML
     1.1 --- a/src/HOLCF/ROOT.ML	Sun Mar 14 14:10:36 2010 -0700
     1.2 +++ b/src/HOLCF/ROOT.ML	Sun Mar 14 19:47:13 2010 -0700
     1.3 @@ -4,6 +4,6 @@
     1.4  HOLCF -- a semantic extension of HOL by the LCF logic.
     1.5  *)
     1.6  
     1.7 -no_document use_thys ["Nat_Bijection", "Infinite_Set"];
     1.8 +no_document use_thys ["Nat_Bijection", "Infinite_Set", "Countable"];
     1.9  
    1.10  use_thys ["HOLCF"];