# HG changeset patch
# User nipkow
# Date 1234694086 -3600
# Node ID 3d50e96bcd6b254981674c5671eac47224052b93
# Parent  b95f5b8b93dd4378107a0f26318e22f99c3c0ac8
fixed document

diff -r b95f5b8b93dd -r 3d50e96bcd6b src/HOLCF/ROOT.ML
--- a/src/HOLCF/ROOT.ML	Sun Feb 15 11:26:38 2009 +0100
+++ b/src/HOLCF/ROOT.ML	Sun Feb 15 11:34:46 2009 +0100
@@ -5,4 +5,6 @@
 HOLCF -- a semantic extension of HOL by the LCF logic.
 *)
 
+no_document use_thy "Nat_Int_Bij";
+
 use_thy "HOLCF";