]>
2011-07-24 | Ferruccio Guidi | - sone refactoring | blob | commitdiff | raw |
2011-06-13 | Ferruccio Guidi | more notation and one more lemma to prove :( | blob | commitdiff | raw | diff to current |
2011-06-07 | Ferruccio Guidi | - we removed the reduction-related item categorization | blob | commitdiff | raw | diff to current |
2011-06-06 | Ferruccio Guidi | We reintroduce the distinction between binding and... | blob | commitdiff | raw | diff to current |
2011-04-28 | Ferruccio Guidi | - weight: bugfix + weight-based eliminator axiomatized | blob | commitdiff | raw | diff to current |
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 |