Fri, 21 Feb 1997 11:18:33 +0100 | wenzelm | fixed Id comment; | changeset | files |
Thu, 20 Feb 1997 17:02:42 +0100 | wenzelm | makedist -- make Isabelle distribution. | changeset | files |
Thu, 20 Feb 1997 16:45:47 +0100 | wenzelm | tuned URL; | changeset | files |