| Wed, 14 Mar 2001 08:50:55 +0100 | paulson | minor tuning | file | diff | annotate |
| Tue, 27 Feb 2001 16:13:23 +0100 | paulson | Some X-symbols for <notin>, <noteq>, <forall>, <exists> | file | diff | annotate |
| Tue, 13 Feb 2001 13:16:27 +0100 | paulson | partial conversion to Isar script style | file | diff | annotate |