Wed, 31 Oct 2007 12:19:41 +0100 | chaieb | tuned | file | diff | annotate |
Tue, 03 Jul 2007 22:27:19 +0200 | wenzelm | tuned is_comb/is_binop -- avoid construction of cterms; | file | diff | annotate |
Tue, 05 Jun 2007 16:26:04 +0200 | wenzelm | Semiring normalization and Groebner Bases. | file | diff | annotate |