| Fri, 29 Jun 2007 21:23:05 +0200 | haftmann | tuned arithmetic modules | file | diff | annotate |
| Thu, 28 Jun 2007 19:09:43 +0200 | haftmann | dropped toplevel lcm, gcd | file | diff | annotate |
| Sat, 09 Jun 2007 00:28:47 +0200 | wenzelm | eqtype int -- explicitly encourage overloaded equality; | file | diff | annotate |
| Tue, 05 Jun 2007 15:17:02 +0200 | haftmann | moved generic algebra modules | file | diff | annotate |