Mon, 03 Jun 1996 11:41:26 +0200 | paulson | Used 2 instead of Suc(Suc 0) | changeset | files |
Mon, 03 Jun 1996 11:41:00 +0200 | paulson | Shortened a proof | changeset | files |
Fri, 31 May 1996 20:25:59 +0200 | oheimb | adapted use of monofun_cfun_arg | changeset | files |