| 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 |
| Wed, 10 Jun 2009 11:40:49 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 10 Jun 2009 11:31:36 +0200 | wenzelm | discontinued escaped symbols; | changeset | files |
| Wed, 10 Jun 2009 11:31:26 +0200 | wenzelm | eliminated escaped symbols; | changeset | files |
| Wed, 10 Jun 2009 11:29:57 +0200 | wenzelm | discontinued escaped symbols such as \\<forall> -- only one backslash should be used; | changeset | files |