]>
2017-11-10 | Ferruccio Guidi | - some proposition name clashes removed | tree | commitdiff |
2017-10-17 | Ferruccio Guidi | - exclusion binder in local environments | tree | commitdiff |
2017-05-03 | Ferruccio Guidi | notational change for lexs | tree | commitdiff |
2017-04-28 | Ferruccio Guidi | refactoring completed | tree | commitdiff |
2017-04-17 | Ferruccio Guidi | - advances on lfpxs ... | tree | commitdiff |
2017-04-16 | Ferruccio Guidi | - strong normalization for rt-comutation | tree | commitdiff |
2017-04-14 | Ferruccio Guidi | - lfpxs based on tc_lfxs | tree | commitdiff |
2017-03-08 | Ferruccio Guidi | cpxs_lfpx completed | tree | commitdiff |
2017-03-06 | Ferruccio Guidi | - advances on lfxs for lfpxs | tree | commitdiff |