Fri, 17 Dec 2010 14:36:33 +0100 | boehmes | fixed lambda-lifting: shift indices of bound variables correctly (after locking the required bound variables) and apply bound variables to the new function symbol in the right order; | changeset | files |
Fri, 17 Dec 2010 12:14:18 +0100 | bulwahn | adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real | changeset | files |