Sun, 18 Jan 2009 10:11:12 +0100 | haftmann | improved calculation of morphisms and rules | changeset | files |
Sat, 17 Jan 2009 22:08:14 +0100 | haftmann | merged | changeset | files |
Sat, 17 Jan 2009 22:07:29 +0100 | haftmann | tuned signature | changeset | files |