projects / helm.git / history
| 2017-03-13 | Ferruccio Guidi | - tdeq must imply tsts | blob | commitdiff | raw |
| 2017-02-16 | Ferruccio Guidi | - cprs and cnx on the way | blob | commitdiff | raw | diff to current |
| 2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | blob | commitdiff | raw | diff to current |
| 2016-02-10 | Ferruccio Guidi | first commit for lreq ... | blob | commitdiff | raw |
| 2016-01-31 | Ferruccio Guidi | renaming ... | blob | commitdiff | raw | diff to current |
| 2014-10-26 | Ferruccio Guidi | - some renaming according to the written version of... | blob | commitdiff | raw | diff to current |
| 2014-04-25 | Ferruccio Guidi | - advances in the theory of cofrees | blob | commitdiff | raw | diff to current |
| 2014-01-05 | Ferruccio Guidi | - new definition of lazy equivalence for local environm... | blob | commitdiff | raw | diff to current |
| 2013-12-01 | Ferruccio Guidi | - improved arithmetics for natural numbers with infinity | blob | commitdiff | raw | diff to current |