replace Nat_Int_Bij with Nat_Bijection in ROOT.ML
authorhuffman
Wed Mar 10 16:06:48 2010 -0800 (2010-03-10)
changeset 3570744936737902d
parent 35706 8305122d0350
child 35709 267e15230a31
replace Nat_Int_Bij with Nat_Bijection in ROOT.ML
src/HOLCF/ROOT.ML
     1.1 --- a/src/HOLCF/ROOT.ML	Wed Mar 10 16:00:51 2010 -0800
     1.2 +++ b/src/HOLCF/ROOT.ML	Wed Mar 10 16:06:48 2010 -0800
     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_Int_Bij"];
     1.8 +no_document use_thys ["Nat_Bijection"];
     1.9  
    1.10  use_thys ["HOLCF"];