| Mon, 21 Nov 1994 10:51:40 +0100 | lcp | page 157 erratum | changeset | files |
| Mon, 21 Nov 1994 10:39:32 +0100 | lcp | now searches all subdirectories of object-logics | changeset | files |
| Fri, 18 Nov 1994 13:14:23 +0100 | nipkow | Chnaged simplifier description (lhss) | changeset | files |
| Fri, 18 Nov 1994 13:08:10 +0100 | clasohm | added call of store_theory after thy file has been read | changeset | files |
| Fri, 18 Nov 1994 13:04:51 +0100 | nipkow | Updated description of valid lhss. | changeset | files |
| 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 |