]>
2011-08-10 | Ferruccio Guidi | lambda-delta must be a contrib | blob | commitdiff | raw |
2011-08-10 | Ferruccio Guidi | some refactoring | blob | commitdiff | raw |
2011-08-09 | Ferruccio Guidi | confluence of parallel substitution (tps) started ... | blob | commitdiff | raw | diff to current |
2011-08-08 | Ferruccio Guidi | - tps_tpr closed! (substitution is a reduction) | blob | commitdiff | raw | diff to current |