Fri, 23 Dec 1994 16:35:08 +0100 | lcp | Added Krzysztof's theorems irrefl_rvimage, trans_on_rvimage, | changeset | files |
Fri, 23 Dec 1994 16:34:27 +0100 | lcp | singleton_iff: new | changeset | files |
Fri, 23 Dec 1994 16:33:37 +0100 | lcp | Proved cons_lepoll_consD, succ_lepoll_succD, cons_eqpoll_consD, | changeset | files |