# HG changeset patch
# User paulson
# Date 1087289228 -7200
# Node ID 8aea9f96847f3286a9fdfed1dde0e32f03240094
# Parent  7bfe4fa8a88f50aac051ee2425f0efbc6f927eee
fixed bad link

diff -r 7bfe4fa8a88f -r 8aea9f96847f src/HOL/Auth/README.html
--- a/src/HOL/Auth/README.html	Tue Jun 15 10:46:33 2004 +0200
+++ b/src/HOL/Auth/README.html	Tue Jun 15 10:47:08 2004 +0200
@@ -32,8 +32,8 @@
 <LI>The certified e-mail protocol of Abadi et al.
 </UL>
 
-<P>Subdirectory <A HREF="Guard/">Guard</A> develops a theory of guardedness, by
-Frederic Blanqui, and includes proofs of some roving agent protocols.
+<P>Frederic Blanqui has contributed a theory of guardedness, which is
+demonstrated by proofs of some roving agent protocols.
 
 <HR>
 <P>Last modified $Date$