| Wed, 28 May 2008 23:36:19 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 28 May 2008 23:33:51 +0200 | wenzelm | more contribs; | changeset | files |
| Wed, 28 May 2008 23:33:36 +0200 | wenzelm | misc tuning for Isabelle2008; | changeset | files |
| Wed, 28 May 2008 23:33:15 +0200 | wenzelm | added some notable improvements; | changeset | files |