| Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |
| Tue, 20 Jun 2006 15:53:44 +0200 | ballarin | Restructured locales with predicates: import is now an interpretation. | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:13 +0200 | wenzelm | tuned syntax/abbreviations; | file | diff | annotate |