| Mon, 29 Jul 2013 18:06:39 +0200 | blanchet | avoid duplicating Var when the types do not quite fit -- since this step occurs before type inference | changeset | files |
| Mon, 29 Jul 2013 17:27:56 +0200 | blanchet | updated Sledgehammer prover versions | changeset | files |
| Mon, 29 Jul 2013 16:13:35 +0200 | blanchet | parse nonnumeric identifiers in E proofs correctly | changeset | files |
| Mon, 29 Jul 2013 15:42:04 +0200 | blanchet | simplified Vampire hack -- no need to run it for other ATPs | changeset | files |
| Mon, 29 Jul 2013 15:30:31 +0200 | blanchet | added support for E 1.8's internal proof objects (eliminating the need for "eproof_ram") | changeset | files |
| Sun, 28 Jul 2013 20:51:15 +0200 | wenzelm | prefer examples that work out of the box; | changeset | files |