src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Tue Sep 02 22:20:27 2008 +0200
+++ b/src/HOL/Auth/ROOT.ML	Tue Sep 02 22:37:20 2008 +0200
@@ -6,8 +6,6 @@
 Root file for protocol proofs.
 *)
 
-no_document use_thy "NatPair";
-
 use_thys [
 
 (* Conventional protocols: rely on