| Thu, 17 Nov 1994 22:01:08 +0100 | lcp | In ZF, type i has class term, not (just) logic | changeset | files |
| Mon, 14 Nov 1994 14:47:20 +0100 | clasohm | added check for newlines not enclosed by '\' inside strings | changeset | files |
| Mon, 14 Nov 1994 14:29:20 +0100 | clasohm | updated remarks about grammar; added section about ambiguities | changeset | files |
| Mon, 14 Nov 1994 11:57:32 +0100 | wenzelm | exported 'cat'; | changeset | files |
| Mon, 14 Nov 1994 10:49:39 +0100 | lcp | Pure/tctical/select: now uses cprems_of instead of prems_of and cterm_of: | changeset | files |
| Mon, 14 Nov 1994 10:46:50 +0100 | lcp | Pure/drule/cprems_of, cskip_flexpairs, cstrip_imp_prems: new cterm operations | changeset | files |