Mon, 26 May 1997 12:37:24 +0200 | paulson | New theorem subset_inj_onto | changeset | files |
Mon, 26 May 1997 12:36:56 +0200 | paulson | Two results suggested by Florian Kammueller | changeset | files |
Mon, 26 May 1997 12:36:16 +0200 | paulson | Tidying and a couple of useful lemmas | changeset | files |