| Fri, 14 Jan 1994 08:09:07 +0100 | nipkow | optimized net for matching of abstractions to speed up simplifier | changeset | files |
| Tue, 11 Jan 1994 12:58:19 +0100 | nipkow | moved misplaced comment | changeset | files |
| Tue, 11 Jan 1994 11:36:32 +0100 | wenzelm | removed Syntax/parse_tree.ML; | changeset | files |
| Tue, 11 Jan 1994 08:10:18 +0100 | nipkow | optimized the number of eta-contractions in rewriting | changeset | files |
| Mon, 10 Jan 1994 16:58:32 +0100 | clasohm | added a check for existence of a temporary file before removing it | changeset | files |
| Mon, 10 Jan 1994 16:57:31 +0100 | clasohm | used unlink for delete_files instead of calling rm | changeset | files |
| Mon, 10 Jan 1994 13:22:54 +0100 | wenzelm | commented out sig constraint of functor (for debugging purposes); | changeset | files |