]>
2013-02-13 | Ferruccio Guidi | - first piece of the mutual induction for preservation... | blob | commitdiff | raw |
2013-02-11 | Ferruccio Guidi | more service lemmas in nat and lambdadelta | blob | commitdiff | raw | diff to current |
2013-02-07 | Ferruccio Guidi | even more service lemmas ... | blob | commitdiff | raw | diff to current |
2013-02-06 | Ferruccio Guidi | - lambdadelta: more service lemmas ... | blob | commitdiff | raw | diff to current |
2013-02-05 | Ferruccio Guidi | some missing files ... | blob | commitdiff | raw | diff to current |