| Mon, 01 Dec 2008 16:02:57 +0100 | haftmann | Locale.*note* with conventional argument type | changeset | files |
| Mon, 01 Dec 2008 14:56:08 +0100 | haftmann | added code equation for subset | changeset | files |
| Mon, 01 Dec 2008 17:38:17 +0100 | ballarin | Merged again. | changeset | files |
| Mon, 01 Dec 2008 17:37:02 +0100 | ballarin | Merged. | changeset | files |
| Mon, 01 Dec 2008 16:59:31 +0100 | ballarin | No resolution of patterns within context statements. | changeset | files |
| Tue, 02 Dec 2008 17:50:25 +0100 | wenzelm | removed CVS Id; | changeset | files |
| Mon, 01 Dec 2008 17:48:12 +0100 | wenzelm | proper check of ISABELLE_TOOLS directories; | changeset | files |