| Thu, 11 Jun 2009 12:06:13 +0200 | bulwahn | making isatest happy; but misunderstanding remains | changeset | files |
| Wed, 10 Jun 2009 21:04:36 +0200 | bulwahn | code_pred command now also requires proofs for dependent predicates; changed handling of parameters in introrules of executable function | changeset | files |
| Wed, 10 Jun 2009 10:42:24 +0200 | bulwahn | tuned; corrected exception handling | changeset | files |