| Thu, 31 Oct 2013 16:47:36 +0100 | wenzelm | more on Sledgehammer; | changeset | files |
| Thu, 31 Oct 2013 16:10:35 +0100 | wenzelm | more on automatically tried tools; | changeset | files |
| Wed, 30 Oct 2013 21:23:47 +0100 | wenzelm | more on prover output; | changeset | files |