| Tue, 27 Feb 2001 16:13:23 +0100 | paulson | Some X-symbols for <notin>, <noteq>, <forall>, <exists> | file | diff | annotate |
| 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 |