| Wed, 01 Jun 2011 00:12:38 +0200 | blanchet | make sure "Trueprop" is removed before combinators are added -- the code is fragile in that respect | changeset | files |
| Tue, 31 May 2011 23:39:27 +0200 | blanchet | speed up example by disabling preplay, and temporarily comment out a broken Sledgehammer call | changeset | files |
| Tue, 31 May 2011 19:28:03 +0200 | boehmes | updated SMT certificates | changeset | files |