Fri, 18 Aug 2000 12:31:20 +0200 | paulson | new example ZF/ex/NatSum | changeset | files |
Fri, 18 Aug 2000 12:30:41 +0200 | paulson | now allows dest_coeff to fail | changeset | files |
Fri, 18 Aug 2000 11:14:23 +0200 | nipkow | *** empty log message *** | changeset | files |