tuned document;

--- 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*)