| 2010-04-26 | haftmann | 2010-04-26 | dropped group_simps, ring_simps, field_eq_simps | file | diff | annotate |
| 2010-03-01 | haftmann | 2010-03-01 | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| 2009-09-01 | haftmann | 2009-09-01 | some reorganization of number theory | file | diff | annotate | base |