| Tue, 16 Feb 1999 10:54:55 +0100 | paulson | tidying in conjuntion with the TISSEC paper; replaced (unit option) | file | diff | annotate |
| Fri, 16 Oct 1998 12:23:07 +0200 | paulson | changed tags from 0, 1 to None, Some() to avoid special treatment of 0 | file | diff | annotate |
| Tue, 08 Sep 1998 15:17:11 +0200 | paulson | Got rid of not_Says_to_self and most uses of ~= in definitions and theorems | file | diff | annotate |
| Fri, 21 Aug 1998 16:14:34 +0200 | paulson | Tidying | file | diff | annotate |
| Wed, 24 Jun 1998 10:30:29 +0200 | paulson | Trivial change to be more like paper | file | diff | annotate |
| Tue, 16 Dec 1997 15:15:38 +0100 | paulson | Simplified SpyKeys and ClientKeyExch as suggested by James Margetson | file | diff | annotate |
| Tue, 11 Nov 1997 11:16:18 +0100 | paulson | Fixed spelling error | file | diff | annotate |