| 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
|
| 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
|
| Sun, 11 Feb 2001 20:38:40 +0100 |
wenzelm |
added "xsymbols" syntax for "=?=";
|
changeset |
files
|
| Sun, 11 Feb 2001 16:34:20 +0100 |
wenzelm |
more robust selection of calculational rules;
|
changeset |
files
|