]>
2011-10-10 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw |
2011-09-18 | Ferruccio Guidi | some improvements about the partial unfold on terms... | blob | commitdiff | raw |
2011-09-02 | Ferruccio Guidi | - the theory of parallel substitution of local environm... | blob | commitdiff | raw | diff to current |
2011-08-29 | Ferruccio Guidi | - we shared the atomic term constructions | blob | commitdiff | raw | diff to current |
2011-08-27 | Ferruccio Guidi | - the shift function is now defined and cpr_shift_fwd... | blob | commitdiff | raw | diff to current |
2011-08-18 | Ferruccio Guidi | - some refactoring | blob | commitdiff | raw | diff to current |