]>
2011-06-18 | Ferruccio Guidi | - xoa: more existential types | blob | commitdiff | raw |
2011-06-13 | Ferruccio Guidi | reductions rules and one lemma | blob | commitdiff | raw | diff to current |
2011-06-03 | Ferruccio Guidi | - we introduce extended existentials (generated) | blob | commitdiff | raw | diff to current |
2011-05-13 | Ferruccio Guidi | ground: some arithmetical properties added | blob | commitdiff | raw | diff to current |
2011-04-19 | Ferruccio Guidi | complete reformalization of lambda-delta in matita... | blob | commitdiff | raw | diff to current |