| Wed, 08 Mar 2006 18:37:31 +0100 | wenzelm | select_goals: split original conjunctions; | changeset | files |
| Wed, 08 Mar 2006 18:37:30 +0100 | wenzelm | method: goal restriction defaults to [1]; | changeset | files |
| Wed, 08 Mar 2006 18:37:28 +0100 | wenzelm | infer_derivs: avoid allocating empty MinProof; | changeset | files |
| Wed, 08 Mar 2006 18:37:27 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 08 Mar 2006 18:37:25 +0100 | wenzelm | Isar/method: goal restriction; | changeset | files |
| Wed, 08 Mar 2006 18:37:24 +0100 | wenzelm | constdecl: always allow 'where'; | changeset | files |
| Wed, 08 Mar 2006 18:00:00 +0100 | urbanc | deleted some proofs "on comment" | changeset | files |