| Fri, 27 Jan 2006 19:03:11 +0100 | wenzelm | improved 'notes', including proper treatment of locale results; | file | diff | annotate |
| Wed, 25 Jan 2006 00:21:39 +0100 | wenzelm | added constant definition; | file | diff | annotate |
| Tue, 24 Jan 2006 00:43:29 +0100 | wenzelm | added actual operations; | file | diff | annotate |
| Sun, 22 Jan 2006 18:46:01 +0100 | wenzelm | Local theory operations, with optional target locale. | file | diff | annotate |