| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | continued cleaning up; moved tuple expanding to core | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | cleaned up debugging messages; added options to code_pred command | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added first support for higher-order function translation | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added to process higher-order arguments by adding new constants | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | cleaned up | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added theory with alternative definitions for the predicate compiler; cleaned up examples | changeset | files |
| Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | importing theorems correctly causes problems with mutual recursive predicates in the predicate compiler; must be discussed with Stefan first | changeset | files |