| Mon, 08 Oct 2007 20:20:13 +0200 | chaieb | fixed bug in grobner_ideal | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Thu, 05 Jul 2007 00:06:17 +0200 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Tue, 03 Jul 2007 22:27:16 +0200 | wenzelm | HOLogic.conj_intr/elims; | file | diff | annotate |
| Thu, 28 Jun 2007 19:09:36 +0200 | haftmann | dropped Library.lcm | file | diff | annotate |
| Mon, 25 Jun 2007 00:36:36 +0200 | wenzelm | made type conv pervasive; | file | diff | annotate |
| Tue, 12 Jun 2007 10:15:45 +0200 | chaieb | Added algebra_tac; tuned; | file | diff | annotate |
| Mon, 11 Jun 2007 18:28:16 +0200 | chaieb | Conversion for computation on constants now depends on the context | file | diff | annotate |
| Tue, 05 Jun 2007 18:36:09 +0200 | wenzelm | fixed type int vs. integer; | file | diff | annotate |
| Tue, 05 Jun 2007 16:26:04 +0200 | wenzelm | Semiring normalization and Groebner Bases. | file | diff | annotate |