| Fri, 10 Sep 2010 23:56:35 +0200 | krauss | use eta-contracted version for occurrence check (avoids possible non-termination) | changeset | files |
| Mon, 13 Sep 2010 13:20:18 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 Sep 2010 12:42:08 +0200 | wenzelm | Type_Infer.finish: index 0 -- freshness supposedly via Name.invents; | changeset | files |