| Fri, 23 Nov 2001 17:19:14 +0100 | nipkow | Isar conversion | changeset | files |
| Thu, 22 Nov 2001 23:46:33 +0100 | wenzelm | theory Locales temporarily disabled; | changeset | files |
| Thu, 22 Nov 2001 23:45:57 +0100 | wenzelm | beginnings of actual locale expressions; | changeset | files |
| Thu, 22 Nov 2001 23:45:23 +0100 | wenzelm | improved locale expression syntax; | changeset | files |
| Thu, 22 Nov 2001 23:44:57 +0100 | wenzelm | locale expression import; | changeset | files |
| Thu, 22 Nov 2001 23:44:30 +0100 | wenzelm | import locale expression; | changeset | files |
| Thu, 22 Nov 2001 23:15:12 +0100 | wenzelm | tuned; | changeset | files |