Thu, 25 Jun 2015 12:41:43 +0200 | blanchet | put E before (typically remote, hence less reliable) Vampire | changeset | files |
Wed, 24 Jun 2015 23:03:55 +0200 | wenzelm | tuned proofs -- less digits; | changeset | files |
Wed, 24 Jun 2015 21:31:29 +0200 | wenzelm | updated to scala-2.11.7; | changeset | files |