| Tue, 13 Feb 2001 15:46:03 +0100 | paulson | partial conversion to Isar script style in HOL/Auth removes some .ML files | changeset | files |
| Tue, 13 Feb 2001 13:16:27 +0100 | paulson | partial conversion to Isar script style | changeset | files |
| Tue, 13 Feb 2001 01:32:54 +0100 | wenzelm | tuned; | changeset | files |