| Mon, 26 Apr 2010 11:34:15 +0200 | haftmann | dropped group_simps, ring_simps, field_eq_simps; classes division_ring_inverse_zero, field_inverse_zero, linordered_field_inverse_zero | changeset | files |
| Mon, 26 Apr 2010 11:34:15 +0200 | haftmann | line break | changeset | files |
| Mon, 26 Apr 2010 14:44:41 +0200 | wenzelm | removed unused AxClass.class_intros; | changeset | files |