--- 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$