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 |