| Tue, 13 Feb 2001 22:51:08 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 13 Feb 2001 22:04:09 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 13 Feb 2001 16:48:36 +0100 | wenzelm | \remarksfalse; | changeset | files |
| Tue, 13 Feb 2001 16:31:18 +0100 | wenzelm | tuned; | changeset | files |
| 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 |
| 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 |
| Mon, 12 Feb 2001 20:47:19 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 12 Feb 2001 20:45:12 +0100 | wenzelm | support \<subseteq> syntax in classes/classrel/axclass/instance; | changeset | files |