]>
2018-05-25 | Ferruccio Guidi | partial update update in basic_2 | blob | commitdiff | raw |
2017-11-17 | Ferruccio Guidi | - ext2_tc added | blob | commitdiff | raw |
2017-04-14 | Ferruccio Guidi | - lfpxs based on tc_lfxs | 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-22 | Ferruccio Guidi | - degree-based equivalene for terms | blob | commitdiff | raw |
2014-05-25 | Ferruccio Guidi | - theory of llor now includes (long awaited) non-recurs... | blob | commitdiff | raw | diff to current |
2014-04-05 | Ferruccio Guidi | commit completed: | blob | commitdiff | raw |
2014-03-25 | Ferruccio Guidi | - partial commit: just the components below "computation" | blob | commitdiff | raw | diff to current |