Tue, 13 Feb 2001 16:05:56 +0100 | paulson | swapped Fleuriot and Paulson | changeset | files |
Tue, 13 Feb 2001 16:05:09 +0100 | wenzelm | create dist packages; | changeset | files |
Tue, 13 Feb 2001 16:02:53 +0100 | paulson | partial conversion to Isar script style in HOL/Auth removes some .ML files | changeset | files |