| Tue, 23 Aug 1994 19:33:33 +0200 | wenzelm | read_def_cterm: minor changes; | changeset | files |
| Tue, 23 Aug 1994 19:31:05 +0200 | wenzelm | removed constant _constrain from Pure sig; | changeset | files |
| Mon, 22 Aug 1994 11:27:23 +0200 | lcp | ZF/upair/consE', UnE': new | changeset | files |
| Mon, 22 Aug 1994 11:11:17 +0200 | lcp | ZF/Cardinal: some results moved here from CardinalArith | changeset | files |