| Fri, 29 Jun 2007 21:23:05 +0200 | haftmann | tuned arithmetic modules | file | diff | annotate |
| Thu, 28 Jun 2007 19:09:36 +0200 | haftmann | dropped Library.lcm | file | diff | annotate |
| Mon, 25 Jun 2007 00:36:33 +0200 | wenzelm | made type conv pervasive; | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |