| Mon, 16 Sep 2013 23:08:02 +0200 | wenzelm | treat all dummy type variables separately (in contrast to fca432074fb2); | changeset | files |
| Mon, 16 Sep 2013 23:04:13 +0200 | wenzelm | removed dead code (see also 69d4543811d0); | changeset | files |
| Mon, 16 Sep 2013 19:30:33 +0200 | wenzelm | merged | changeset | files |
| Mon, 16 Sep 2013 19:27:20 +0200 | wenzelm | tuned signature; | changeset | files |