| Wed, 18 Jun 2014 13:23:09 +0200 | blanchet | enabled MaSh by default -- set 'MaSh' to 'none' in Isabelle Plugin Options to disable | changeset | files |
| Tue, 17 Jun 2014 18:41:44 +0200 | ballarin | Lemmas contributed by Joachim Breitner. | changeset | files |
| Tue, 17 Jun 2014 18:33:34 +0200 | blanchet | reintroduce atomize in Waldmeister code | changeset | files |
| Tue, 17 Jun 2014 16:02:49 +0200 | blanchet | changed type encoding for new Waldmeister, to trigger filtering of 'dangerous' lemmas | changeset | files |
| Mon, 16 Jun 2014 19:44:02 +0200 | blanchet | compile | changeset | files |
| Mon, 16 Jun 2014 19:42:44 +0200 | blanchet | integrated new Waldmeister code with 'sledgehammer' command | changeset | files |
| Mon, 16 Jun 2014 19:41:42 +0200 | blanchet | fixed parsing of one-argument 'file()' in TSTP files | changeset | files |