| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | changeset | files |
| Wed, 26 Jul 2006 13:31:07 +0200 | haftmann | added eval_term | changeset | files |
| Wed, 26 Jul 2006 11:32:55 +0200 | wenzelm | updated; | changeset | files |
| Wed, 26 Jul 2006 11:32:50 +0200 | wenzelm | fixed LaTeX problem; | changeset | files |