| Wed, 30 Jun 2010 11:38:51 +0200 | haftmann | unfold_fun_n | changeset | files |
| Wed, 30 Jun 2010 11:38:51 +0200 | haftmann | pervasive tuning of code | changeset | files |
| Wed, 30 Jun 2010 11:38:51 +0200 | haftmann | explicit printing function for applify | changeset | files |
| Tue, 29 Jun 2010 22:59:29 +0200 | wenzelm | fail with low-level exception, not user error; | changeset | files |
| Tue, 29 Jun 2010 21:56:31 +0200 | wenzelm | eliminated some unused bindings; | changeset | files |
| Tue, 29 Jun 2010 21:46:47 +0200 | wenzelm | recovered some indentation from the depths of time; | changeset | files |
| Tue, 29 Jun 2010 17:03:59 +0100 | Christian Urban | cleaned by using descending instead of lifting | changeset | files |
| Tue, 29 Jun 2010 11:38:51 +0200 | blanchet | merged | changeset | files |
| Tue, 29 Jun 2010 11:29:31 +0200 | blanchet | move function | changeset | files |
| Tue, 29 Jun 2010 11:20:05 +0200 | blanchet | compile | changeset | files |
| Tue, 29 Jun 2010 11:14:52 +0200 | blanchet | compile | changeset | files |
| Tue, 29 Jun 2010 11:03:26 +0200 | blanchet | more elegant cheating | changeset | files |
| Tue, 29 Jun 2010 10:56:45 +0200 | blanchet | Sledgehammer can save some msecs by cheating | changeset | files |
| Tue, 29 Jun 2010 10:36:36 +0200 | blanchet | more precise error message for remote ATPs | changeset | files |
| Tue, 29 Jun 2010 10:25:53 +0200 | blanchet | move blacklisting completely out of the clausifier; | changeset | files |