]>
2017-04-24 | Ferruccio Guidi | some improvements before setting up the exclusion binder | tree | commitdiff |
2017-04-20 | Ferruccio Guidi | - notation for the exclusion binder in local envirinments | tree | commitdiff |
2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | tree | commitdiff |
2016-01-31 | Ferruccio Guidi | renaming ... | tree | commitdiff |
2013-07-26 | Ferruccio Guidi | lambdadelta | tree | commitdiff |