]>
2017-04-06 | Ferruccio Guidi | advances on lfsx ... | blob | commitdiff | raw |
2017-04-05 | Ferruccio Guidi | - first prroperties on lfsx proved | blob | commitdiff | raw | diff to current |
2017-03-16 | Ferruccio Guidi | - more commutations with superclosure: fpb_lfdeq | blob | commitdiff | raw | diff to current |
2017-03-06 | Ferruccio Guidi | - advances on lfxs for lfpxs | blob | commitdiff | raw | diff to current |
2017-01-24 | Ferruccio Guidi | - updated equivalence on referred entries: it nust... | blob | commitdiff | raw | diff to current |
2017-01-16 | Ferruccio Guidi | advances towards confluence of reduction in local envir... | blob | commitdiff | raw | diff to current |
2016-09-15 | Ferruccio Guidi | diamond property of reduction! | blob | commitdiff | raw | diff to current |
2016-05-08 | Ferruccio Guidi | some renaming and reordering of variables | blob | commitdiff | raw | diff to current |
2016-04-16 | Ferruccio Guidi | - former llpx_sn an lleq reactivated as lfxs and lfeq | blob | commitdiff | raw | diff to current |