Wed, 13 Dec 2000 11:24:48 +0100 | kleing | fixed iter_wf proof | changeset | files |
Wed, 13 Dec 2000 10:34:45 +0100 | paulson | another round of tidying-up | changeset | files |
Wed, 13 Dec 2000 10:34:31 +0100 | paulson | working proofs up to isCont_has_Ub | changeset | files |