| Wed, 12 May 2010 13:52:34 +0200 | wenzelm | updated some version numbers; | changeset | files |
| Wed, 12 May 2010 13:34:24 +0200 | wenzelm | minor tuning; | changeset | files |
| Wed, 12 May 2010 13:21:23 +0200 | wenzelm | reverted parts of 7902dc7ea11d -- note that NEWS of published Isabelle releases are essentially read-only; | changeset | files |
| Wed, 12 May 2010 12:51:32 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 May 2010 12:20:16 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 12:09:28 +0200 | haftmann | modernized specifications; tuned reification | changeset | files |
| Wed, 12 May 2010 11:18:42 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 11:17:59 +0200 | haftmann | added lemmas concerning last, butlast, insort | changeset | files |