Wed, 22 Mar 2000 13:22:39 +0100 | paulson | Suc_less_eq now with AddIffs. How could this have been overlooked? | changeset | files |
Wed, 22 Mar 2000 13:22:11 +0100 | paulson | combined finite_Int1/2 as finite_Int. Deleted the awful "lemma" from the | changeset | files |
Wed, 22 Mar 2000 13:01:57 +0100 | paulson | made more robust | changeset | files |