Wed, 13 Dec 2000 12:46:47 +0100 | paulson | new material, including default simprules that should be introduced earlier | changeset | files |
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 |
Wed, 13 Dec 2000 10:31:46 +0100 | paulson | tidying and replacement of "integer" rules by "order" ones | changeset | files |
Wed, 13 Dec 2000 10:31:08 +0100 | kleing | removed sorry proof | changeset | files |