Fri, 01 Jul 2005 14:17:32 +0200 | berghofe | Simplified proof (thanks to strengthened ball_cong). | changeset | files |
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 |