| Tue, 14 Jul 2009 15:54:19 +0200 | haftmann | refinement of lattice classes | changeset | files |
| Mon, 13 Jul 2009 08:25:43 +0200 | haftmann | removed outdated comment | changeset | files |
| Mon, 20 Jul 2009 00:37:39 +0200 | wenzelm | Proof.future_proof: declare all assumptions as well; | changeset | files |
| Sun, 19 Jul 2009 19:24:04 +0200 | wenzelm | parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs; | changeset | files |