Fri, 01 Jul 2005 13:54:57 +0200 | berghofe | Adapted to new interface of code generator. | changeset | files |
Fri, 01 Jul 2005 13:54:12 +0200 | berghofe | Implemented trick (due to Tobias Nipkow) for fine-tuning simplification | changeset | files |
Fri, 01 Jul 2005 13:51:11 +0200 | berghofe | Added strong_setsum_cong and strong_setprod_cong. | changeset | files |