| Wed, 05 Sep 2012 13:02:25 +0200 | wenzelm | misc tuning; | changeset | files |
| Wed, 05 Sep 2012 11:19:01 +0200 | wenzelm | no need to wait 3h on macbroy30 (unlike former macbroy6, cf. 6e5b994070c1); | changeset | files |
| Wed, 05 Sep 2012 10:53:51 +0200 | traytel | more conservative rechecking of processed constraints in subtyping constraint simplification | changeset | files |
| Wed, 05 Sep 2012 09:58:37 +0200 | blanchet | added comment for Dmitriy | changeset | files |
| Wed, 05 Sep 2012 09:54:20 +0200 | blanchet | fixed bug in type instantiation of case theorem | changeset | files |
| Wed, 05 Sep 2012 09:31:31 +0200 | blanchet | use empty binding rather than "*" for default | changeset | files |
| Wed, 05 Sep 2012 08:32:59 +0200 | nipkow | tuned | changeset | files |
| Wed, 05 Sep 2012 00:58:54 +0200 | blanchet | fixed bugs in one-constructor case | changeset | files |