| Thu, 01 Nov 2001 21:11:52 +0100 | wenzelm | fix_frees; | changeset | files |
| Thu, 01 Nov 2001 21:11:17 +0100 | wenzelm | theorem: locale argument; | changeset | files |
| Thu, 01 Nov 2001 21:10:47 +0100 | wenzelm | beginnings of new locales (not yet functional); | changeset | files |