| Tue, 17 Sep 2013 00:39:51 +0200 | blanchet | more (co)data docs | changeset | files |
| Tue, 17 Sep 2013 00:13:20 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 16 Sep 2013 23:08:02 +0200 | wenzelm | treat all dummy type variables separately (in contrast to fca432074fb2); | changeset | files |