# HG changeset patch
# User huffman
# Date 1268266008 28800
# Node ID 44936737902dfe4a7d1c7b69ab765ac79f7c6b38
# Parent  8305122d035078714c7842793738dc69a62e3512
replace Nat_Int_Bij with Nat_Bijection in ROOT.ML

diff -r 8305122d0350 -r 44936737902d src/HOLCF/ROOT.ML
--- a/src/HOLCF/ROOT.ML	Wed Mar 10 16:00:51 2010 -0800
+++ b/src/HOLCF/ROOT.ML	Wed Mar 10 16:06:48 2010 -0800
@@ -4,6 +4,6 @@
 HOLCF -- a semantic extension of HOL by the LCF logic.
 *)
 
-no_document use_thys ["Nat_Int_Bij"];
+no_document use_thys ["Nat_Bijection"];
 
 use_thys ["HOLCF"];