]>
2017-02-16 | Ferruccio Guidi | - cprs and cnx on the way | blob | commitdiff | raw |
2016-02-10 | Ferruccio Guidi | first commit for lreq ... | blob | commitdiff | raw | diff to current |
2013-12-01 | Ferruccio Guidi | - improved arithmetics for natural numbers with infinity | blob | commitdiff | raw |
2013-10-28 | Ferruccio Guidi | lazy equivalence for local environments is now defined | blob | commitdiff | raw | diff to current |