| Tue, 18 Jan 1994 13:46:08 +0100 | lcp | Pure: MAJOR CHANGE. Moved ML types ctyp and cterm and their associated | changeset | files |
| Tue, 18 Jan 1994 07:53:35 +0100 | nipkow | some optimizations of Larry's | changeset | files |
| Fri, 14 Jan 1994 12:42:49 +0100 | lcp | corrected comments | changeset | files |
| Fri, 14 Jan 1994 12:36:30 +0100 | lcp | corrected comments | changeset | files |
| 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 |