| Wed, 08 Apr 2015 19:05:57 +0200 | blanchet | updated certificates to latest Z3 (and took out one problem that no longer works) | changeset | files |
| Wed, 08 Apr 2015 18:58:28 +0200 | blanchet | updated docs to reflect actually run ATPs | changeset | files |
| Wed, 08 Apr 2015 18:55:52 +0200 | blanchet | reorder provers to reflect current eval results | changeset | files |
| Wed, 08 Apr 2015 18:48:56 +0200 | blanchet | updated docs to Z3 open source | changeset | files |
| Wed, 08 Apr 2015 18:47:38 +0200 | blanchet | updated SMT module and Sledgehammer to fully open source Z3 | changeset | files |
| Wed, 08 Apr 2015 18:43:43 +0200 | blanchet | updated to new Z3 | changeset | files |
| Wed, 08 Apr 2015 15:21:20 +0200 | blanchet | renamed multiset ordering to free up nice <# etc. symbols for the standard subset | changeset | files |
| Wed, 08 Apr 2015 15:04:06 +0200 | blanchet | removed TODO | changeset | files |