| Wed, 28 Jan 2009 16:29:16 +0100 | nipkow | Replaced group_ and ring_simps by algebra_simps; | changeset | files |
| Wed, 28 Jan 2009 16:35:57 +0100 | haftmann | merged | changeset | files |
| Wed, 28 Jan 2009 16:35:42 +0100 | haftmann | explicit check for exactly one type variable in class specification elements | changeset | files |