]>
2011-05-18 | Andrea Asperti | New version of TJ parametric in the specification of... | blob | commitdiff | raw |
2011-05-11 | Andrea Asperti | Partial modifications. | blob | commitdiff | raw | diff to current |
2011-04-20 | Andrea Asperti | error in the conversion rule | blob | commitdiff | raw | diff to current |
2011-03-22 | Ferruccio Guidi | the weakening lemma is not needed since it is assumed... | blob | commitdiff | raw | diff to current |
2011-03-22 | Ferruccio Guidi | the thinning lemma follows immediately from the substit... | blob | commitdiff | raw | diff to current |
2011-03-22 | Ferruccio Guidi | - lambda_notation.ma: more notation and bug fixes | blob | commitdiff | raw | diff to current |
2011-02-10 | Ferruccio Guidi | we added some comments | blob | commitdiff | raw | diff to current |
2011-02-10 | Andrea Asperti | Added typing rule for dummies | blob | commitdiff | raw | diff to current |
2011-02-10 | Andrea Asperti | Added lambda | blob | commitdiff | raw | diff to current |