Fri, 24 Nov 2006 17:22:32 +0100 | aspinall | Send full paths in PGIP version of file loaded/retracted messages | changeset | files |
Fri, 24 Nov 2006 16:38:42 +0100 | paulson | Conversion of "equal" to "=" for TSTP format; big tidy-up | changeset | files |
Fri, 24 Nov 2006 13:44:51 +0100 | krauss | Lemma "fundef_default_value" uses predicate instead of set. | changeset | files |
Fri, 24 Nov 2006 13:43:44 +0100 | krauss | The function package declares the [code] attribute automatically again. | changeset | files |