| Thu, 03 Apr 2014 17:26:04 +0100 | paulson | Cleaned up some messy proofs | changeset | files |
| Thu, 03 Apr 2014 18:24:08 +0200 | hoelzl | fix #0556204bc230 | changeset | files |
| Thu, 03 Apr 2014 17:56:08 +0200 | hoelzl | merged DERIV_intros, has_derivative_intros into derivative_intros | changeset | files |
| Thu, 03 Apr 2014 17:16:02 +0200 | blanchet | don't pass Vampire option that doesn't exist anymore (and that wasn't strictly necessary with older Vampires) | changeset | files |
| Thu, 03 Apr 2014 17:00:14 +0200 | blanchet | use Alt-Ergo 0.95.2, the latest and greatest version | changeset | files |
| Thu, 03 Apr 2014 16:57:19 +0200 | blanchet | updated Z3 TPTP to 4.3.1+ | changeset | files |
| Thu, 03 Apr 2014 13:29:58 +0200 | blanchet | updated Why3 version in docs | changeset | files |