fixed bad link
authorpaulson
Tue Jun 15 10:47:08 2004 +0200 (2004-06-15)
changeset 149468aea9f96847f
parent 14945 7bfe4fa8a88f
child 14947 74c702167226
fixed bad link
src/HOL/Auth/README.html
     1.1 --- a/src/HOL/Auth/README.html	Tue Jun 15 10:46:33 2004 +0200
     1.2 +++ b/src/HOL/Auth/README.html	Tue Jun 15 10:47:08 2004 +0200
     1.3 @@ -32,8 +32,8 @@
     1.4  <LI>The certified e-mail protocol of Abadi et al.
     1.5  </UL>
     1.6  
     1.7 -<P>Subdirectory <A HREF="Guard/">Guard</A> develops a theory of guardedness, by
     1.8 -Frederic Blanqui, and includes proofs of some roving agent protocols.
     1.9 +<P>Frederic Blanqui has contributed a theory of guardedness, which is
    1.10 +demonstrated by proofs of some roving agent protocols.
    1.11  
    1.12  <HR>
    1.13  <P>Last modified $Date$