| 2010-04-26 | haftmann | 2010-04-26 | dropped group_simps, ring_simps, field_eq_simps | file | diff | annotate |
| 2010-02-05 | haftmann | 2010-02-05 | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | file | diff | annotate |
| 2009-10-28 | wenzelm | 2009-10-28 | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| 2009-10-25 | chaieb | 2009-10-25 | A theory of polynomials based on lists | file | diff | annotate |