| Wed, 01 Oct 2008 22:33:24 +0200 | wenzelm | replaced can_defer by is_relevant (negation); | changeset | files |
| Wed, 01 Oct 2008 20:02:37 +0200 | wenzelm | datatype transition: internal trans field is maintained in reverse order; | changeset | files |
| Wed, 01 Oct 2008 18:16:14 +0200 | wenzelm | future_proof: protect conclusion of deferred proof state; | changeset | files |