| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | switched off no_topmost_reordering | changeset | files |
| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | replaced call to inductive package by axiomatization in the function flattening of the predicate compiler | changeset | files |
| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added option for specialisation to the predicate compiler | changeset | files |