| Fri, 20 Apr 2007 11:21:47 +0200 | haftmann | moved axclass module closer to core system | changeset | files |
| Fri, 20 Apr 2007 11:21:42 +0200 | haftmann | Isar definitions are now added explicitly to code theorem table | changeset | files |
| Fri, 20 Apr 2007 11:21:41 +0200 | haftmann | improved case unfolding | changeset | files |