| Mon, 07 May 2012 15:04:17 +0200 | huffman | tuned ordering of lemmas | changeset | files |
| Thu, 10 May 2012 10:07:41 +0200 | blanchet | pass fewer facts to LEO-II and Satallax | changeset | files |
| Thu, 10 May 2012 10:07:40 +0200 | blanchet | tweak LEO-II setup | changeset | files |
| Thu, 10 May 2012 10:07:40 +0200 | blanchet | use raw monomorphic encoding with Waldmeister, to avoid overloading it with too many function symbols (as would be the case using mangled monomorphic encodings) | changeset | files |