| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Fri, 02 Jun 2006 23:22:29 +0200 | wenzelm | misc cleanup; | file | diff | annotate |
| Wed, 13 Jul 2005 19:49:07 +0200 | avigad | Additions to the Real (and Hyperreal) libraries: | file | diff | annotate |