| Thu, 27 Feb 1997 13:44:55 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 21 Feb 1997 11:18:33 +0100 | wenzelm | fixed Id comment; | file | diff | annotate |
| Thu, 20 Feb 1997 17:02:42 +0100 | wenzelm | makedist -- make Isabelle distribution. | file | diff | annotate |