Tue, 31 May 2011 16:38:36 +0200 | don't preprocess twice | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | tuning | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | more work on new metis that exploits the powerful new type encodings | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | tuning | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | first step in sharing more code between ATP and Metis translation | file | diff | annotate | base |