Thu, 31 May 2001 16:17:28 +0200 | oheimb | added weak_coinduct_image | changeset | files |
Thu, 31 May 2001 16:07:35 +0200 | nipkow | Allow Suc-numerals as coefficients in lin-arith formulae | changeset | files |
Thu, 31 May 2001 12:43:56 +0200 | oheimb | corrected entry for iff attribute | changeset | files |