| Fri, 01 Jul 2005 14:16:32 +0200 | berghofe | Proof of wx_ex_prop must now use old bex_cong to prevent simplifier from looping. | changeset | files |
| Fri, 01 Jul 2005 14:14:40 +0200 | berghofe | Adapted to new interface of RecfunCodegen.add. | changeset | files |
| Fri, 01 Jul 2005 14:13:40 +0200 | berghofe | Adapted to modular code generation. | changeset | files |
| Fri, 01 Jul 2005 14:11:06 +0200 | berghofe | Corrected implementation of arbitrary on cname. | changeset | files |
| Fri, 01 Jul 2005 14:10:02 +0200 | berghofe | Added BasisLibrary prefix to List.concat to avoid problems with | changeset | files |
| Fri, 01 Jul 2005 14:08:53 +0200 | berghofe | Moved code generator setup from NatBin to IntDef. | changeset | files |
| Fri, 01 Jul 2005 14:06:57 +0200 | berghofe | Simplified some proofs (thanks to strong_setsum_cong). | changeset | files |
| Fri, 01 Jul 2005 14:05:41 +0200 | berghofe | Removed setsubgoaler hack (thanks to strong_setsum_cong). | changeset | files |