| Wed, 12 May 2010 15:31:43 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 15:27:15 +0200 | haftmann | tuned proofs and fact and class names | changeset | files |
| Wed, 12 May 2010 13:51:22 +0200 | haftmann | tuned fact collection names and some proofs | changeset | files |
| Wed, 12 May 2010 12:31:52 +0200 | haftmann | grouped local statements | changeset | files |
| Wed, 12 May 2010 12:31:51 +0200 | haftmann | tuned test problems | changeset | files |
| Wed, 12 May 2010 16:45:59 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 May 2010 15:25:23 +0200 | nipkow | merged | changeset | files |
| Wed, 12 May 2010 15:25:02 +0200 | nipkow | simplified proof | changeset | files |
| Wed, 12 May 2010 16:44:49 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 12 May 2010 15:25:58 +0200 | wenzelm | updated/unified some legacy warnings; | changeset | files |
| Wed, 12 May 2010 15:23:38 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 May 2010 14:52:23 +0200 | wenzelm | do not emit legacy_feature warnings here -- users have no chance to disable them; | changeset | files |