--- a/src/HOL/Auth/README.html Tue Apr 20 14:32:48 1999 +0200
+++ b/src/HOL/Auth/README.html Tue Apr 20 14:33:48 1999 +0200
@@ -14,7 +14,8 @@
<LI>the Needham-Schroeder protocol (public-key and shared-key versions)
-<LI>the Kerberos protocol (the simplified form published in the BAN paper)
+<LI>two versions of Kerberos: the simplified form published in the BAN paper
+ and also the full protocol (Kerberos IV)
<LI>three versions of the Yahalom protocol, including a bad one that
illustrates the purpose of the Oops rule