src/HOL/Auth/README.html
changeset 14946 8aea9f96847f
parent 14004 f7382ee9b574
child 15283 f21466450330
     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$