| Thu, 12 Nov 2009 17:21:48 +0100 | hoelzl | New list theorems; added map_map to simpset, this is the prefered direction; allow sorting by a key | file | diff | annotate |
| Wed, 28 Oct 2009 00:24:38 +0100 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Mon, 26 Oct 2009 20:41:26 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 25 Oct 2009 08:57:35 +0100 | chaieb | Add a quantifier elimination for parametric linear arithmetic over ordered fields (parameters are multivariate polynomials) | file | diff | annotate |