Fri, 23 May 1997 09:20:35 +0200 | nipkow | Base theory is now Arith, not Nat. (because all datatypes now require Arith). | changeset | files |
Fri, 23 May 1997 09:18:06 +0200 | nipkow | All datatypes now require Arith. | changeset | files |
Fri, 23 May 1997 09:17:26 +0200 | nipkow | Added overloaded function `size' for all datatypes. | changeset | files |