Sun, 27 Mar 1994 12:33:14 +0200 | nipkow | Changed term ordering for permutative rewrites to be AC-compatible. | changeset | files |
Thu, 24 Mar 1994 18:14:45 +0100 | lcp | revisions to first Springer draft | changeset | files |
Thu, 24 Mar 1994 18:00:11 +0100 | nipkow | added section on type synonyms | changeset | files |
Thu, 24 Mar 1994 17:54:32 +0100 | nipkow | minor problems | changeset | files |
Thu, 24 Mar 1994 16:12:42 +0100 | lcp | added \iflabelundefined | changeset | files |
Thu, 24 Mar 1994 15:23:02 +0100 | nipkow | removed inconsistency with new HOL version | changeset | files |
Thu, 24 Mar 1994 13:45:06 +0100 | nipkow | Franz fragen | changeset | files |