| Tue, 24 Nov 2009 01:36:50 +0100 | Christian Urban | addded a tactic, which sets up the three goals of the `algorithm' | changeset | files |
| Mon, 23 Nov 2009 23:09:03 +0100 | Christian Urban | fixed the error by a temporary fix (the data of the eqivalence relation should be only its name) | changeset | files |