Mon, 03 Jun 1996 11:44:44 +0200 | paulson | Shortened some proofs | changeset | files |
Mon, 03 Jun 1996 11:43:55 +0200 | paulson | Added a new theorem, UN_Int_subset | changeset | files |
Mon, 03 Jun 1996 11:41:26 +0200 | paulson | Used 2 instead of Suc(Suc 0) | changeset | files |