| Mon, 26 Apr 2010 11:34:19 +0200 | haftmann | dropped group_simps, ring_simps, field_eq_simps | file | diff | annotate |
| Fri, 05 Feb 2010 14:33:50 +0100 | haftmann | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | 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 |
| Sun, 25 Oct 2009 08:57:36 +0100 | chaieb | A theory of polynomials based on lists | file | diff | annotate |