Sun, 17 Jul 2011 14:11:35 +0200 | blanchet | more refactoring of preprocessing, so as to be able to centralize it | changeset | files |
Sun, 17 Jul 2011 14:11:35 +0200 | blanchet | renamed internal data structure | changeset | files |
Sun, 17 Jul 2011 14:11:35 +0200 | blanchet | simplify code -- there are no lambdas in helpers anyway | changeset | files |
Sun, 17 Jul 2011 14:11:35 +0200 | blanchet | added lambda-lifting to Sledgehammer (rough) | changeset | files |
Sun, 17 Jul 2011 14:11:34 +0200 | blanchet | move more lambda-handling logic to Sledgehammer, from ATP module, for formal dependency reasons | changeset | files |
Sun, 17 Jul 2011 08:45:06 +0200 | haftmann | merged | changeset | files |