| Mon, 05 Oct 2009 08:36:33 +0200 | haftmann | variables in type schemes must be renamed simultaneously with variables in equations | changeset | files |
| Mon, 05 Oct 2009 11:48:06 +0200 | haftmann | explicitly unsynchronized | changeset | files |
| Mon, 05 Oct 2009 11:47:38 +0200 | haftmann | explicitly unsynchronized | changeset | files |