]>
2011-04-28 | Ferruccio Guidi | - weight: bugfix + weight-based eliminator axiomatized | blob | commitdiff | raw |
2011-04-21 | Ferruccio Guidi | - we added notation for the zetable and thetable items | blob | commitdiff | raw | diff to current |
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 |