Wed, 31 Mar 2010 16:44:41 +0200 | bulwahn | adding setup for handling arithmetic of natural numbers and integers precisely and more efficiently in the predicate compiler; changed alternative size_list definition for predicate compiler | changeset | files |
Wed, 31 Mar 2010 16:44:41 +0200 | bulwahn | no specialisation for predicates without introduction rules in the predicate compiler | changeset | files |
Wed, 31 Mar 2010 16:44:41 +0200 | bulwahn | improving lookup function to handle overloaded constants more correctly in the function flattening of the predicate compiler | changeset | files |