| Thu, 02 Jul 2009 17:33:36 +0200 | wenzelm | renamed NamedThmsFun to Named_Thms; | changeset | files |
| Thu, 02 Jul 2009 17:30:54 +0200 | wenzelm | misc tuning; | changeset | files |
| Thu, 02 Jul 2009 15:37:22 +0200 | wenzelm | fixed document (DERIV_intros); | changeset | files |
| Tue, 30 Jun 2009 22:23:33 +0200 | wenzelm | more detailed timing message; | changeset | files |
| Tue, 30 Jun 2009 22:12:46 +0200 | wenzelm | default to maximum max_threads; | changeset | files |
| Tue, 30 Jun 2009 22:05:07 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2009 22:04:41 +0200 | wenzelm | fixed ISABELLE_HOME_USER; | changeset | files |
| Tue, 30 Jun 2009 22:03:40 +0200 | haftmann | merged | changeset | files |
| Tue, 30 Jun 2009 19:45:52 +0200 | haftmann | adaptated to changes in term representation | changeset | files |
| Tue, 30 Jun 2009 19:31:50 +0200 | haftmann | improved treatment of case patterns | changeset | files |
| Tue, 30 Jun 2009 18:24:03 +0200 | haftmann | merged | changeset | files |
| Tue, 30 Jun 2009 18:23:50 +0200 | haftmann | an intermediate step towards a refined translation of cases | changeset | files |