| Tue, 16 Mar 2010 08:45:08 +0100 | Christian Urban | rollback of local typedef until problem with type-variables can be sorted out; fixed header | changeset | files |
| Tue, 16 Mar 2010 06:55:01 +0100 | haftmann | adjusted to changes in Finite_Set | changeset | files |
| Mon, 15 Mar 2010 22:22:28 +0100 | wenzelm | merged | changeset | files |