| Fri, 11 Oct 1996 10:52:54 +0200 | paulson | Addition of OtwayRees_AN | file | diff | annotate |
| Fri, 13 Sep 1996 13:16:57 +0200 | paulson | Addition of Yahalom protocol | file | diff | annotate |
| Tue, 10 Sep 1996 11:35:23 +0200 | paulson | Now runs all Auth proofs | file | diff | annotate |
| Tue, 03 Sep 1996 18:30:15 +0200 | paulson | ROOT file for Auth directory | file | diff | annotate |