Fri, 15 Oct 2010 17:21:37 +0100 | paulson | merged | changeset | files |
Fri, 15 Oct 2010 17:21:07 +0100 | paulson | prevention of self-referential type environments | changeset | files |
Fri, 15 Oct 2010 21:50:26 +0900 | Cezary Kaliszyk | FSet: definition changes propagated from Nominal and more use of 'descending' tactic | changeset | files |