]>
2011-09-18 | Ferruccio Guidi | some improvements about the partial unfold on terms... | blob | commitdiff | raw |
2011-09-15 | Ferruccio Guidi | unfold on terms completed! | blob | commitdiff | raw | diff to current |
2011-09-08 | Ferruccio Guidi | - support for transitive closures started | blob | commitdiff | raw | diff to current |