]>
2017-11-22 | Ferruccio Guidi | - equivalene of tc_lfxs and lex + lfeq proved | tree | commitdiff |
2017-11-20 | Ferruccio Guidi | - ground_2: rtmap: disjointness relation | tree | commitdiff |
2017-11-17 | Ferruccio Guidi | - dependences on ceq and ceq_ext fixed | tree | commitdiff |
2017-11-17 | Ferruccio Guidi | - ext2_tc added | tree | commitdiff |
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 |