]>
2017-03-29 | Ferruccio Guidi | - advances towards strong normalization | blob | commitdiff | raw |
2017-03-16 | Ferruccio Guidi | - more commutations with superclosure: fpb_lfdeq | blob | commitdiff | raw | diff to current |
2017-03-14 | Ferruccio Guidi | - fpbq | blob | commitdiff | raw | diff to current |
2017-03-02 | Ferruccio Guidi | - advances on csx | blob | commitdiff | raw | diff to current |