# HG changeset patch
# User wenzelm
# Date 1083954760 -7200
# Node ID 1846cc85ada1ece89d516a2654e35bc35c9fdc90
# Parent  9f75d9c1d677286151f81fa121f835742d5ebc3c
tuned document;

diff -r 9f75d9c1d677 -r 1846cc85ada1 src/HOL/Auth/ROOT.ML
--- a/src/HOL/Auth/ROOT.ML	Fri May 07 14:10:14 2004 +0200
+++ b/src/HOL/Auth/ROOT.ML	Fri May 07 20:32:40 2004 +0200
@@ -6,6 +6,8 @@
 Root file for protocol proofs.
 *)
 
+no_document use_thy "NatPair";
+
 set timing;
 
 (*Shared-key protocols*)