| Thu, 01 Nov 2001 21:09:53 +0100 | wenzelm | parking code for old-style locales here; | changeset | files |
| Wed, 31 Oct 2001 22:05:37 +0100 | wenzelm | tuned notation (degree instead of dollar); | changeset | files |
| Wed, 31 Oct 2001 22:04:29 +0100 | wenzelm | theorem(_i): locale argument; | changeset | files |