]>
2011-06-06 | Ferruccio Guidi | We reintroduce the distinction between binding and... | blob | commitdiff | raw |
2011-04-19 | Ferruccio Guidi | notation bug fix | blob | commitdiff | raw | diff to current |
2011-04-19 | Ferruccio Guidi | - some bug fixes | blob | commitdiff | raw | diff to current |
2011-04-19 | Ferruccio Guidi | complete reformalization of lambda-delta in matita... | blob | commitdiff | raw | diff to current |