| Thu, 26 Jul 2012 10:48:03 +0200 | blanchet | Sledgehammer already has its own ways of reporting and recovering from crashes in external provers -- no need to additionally print scores of warnings (cf. 4b0daca2bf88) | changeset | files |
| Thu, 26 Jul 2012 10:48:03 +0200 | blanchet | don't export technical theorems for MaSh | changeset | files |
| Thu, 26 Jul 2012 10:48:03 +0200 | blanchet | repaired accessibility chains generated by MaSh exporter + tuned one function out | changeset | files |