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 |
Mon, 12 Feb 2001 20:44:02 +0100 | wenzelm | \<subseteq> syntax for classes/classrel/axclass/instance; | changeset | files |
Mon, 12 Feb 2001 20:43:12 +0100 | wenzelm | \<subseteq>; | changeset | files |