Fri, 02 May 2014 07:54:23 +0200 | nipkow | new documentation: How to Prove it | changeset | files |
Thu, 01 May 2014 23:04:07 +0200 | boehmes | disable bad Z3 proof | changeset | files |
Thu, 01 May 2014 22:57:38 +0200 | boehmes | use SMT2 for Boogie examples | changeset | files |