]>
2012-05-07 | Andrea Asperti | starl | blob | commitdiff | raw |
2012-05-04 | Wilmer Ricciotti | Added a turing/universal directory for the universal... | blob | commitdiff | raw | diff to current |
2012-03-19 | Ferruccio Guidi | - basics: bug fix in Conf3, it was not generic enough | blob | commitdiff | raw | diff to current |
2012-03-17 | Ferruccio Guidi | - basics: some support for abstract triangular confluen... | blob | commitdiff | raw | diff to current |
2012-03-15 | Ferruccio Guidi | - lambda_delta: strong normalization of simply typed... | blob | commitdiff | raw | diff to current |
2011-12-06 | Ferruccio Guidi | we added a definition and a couple of lemmas | blob | commitdiff | raw | diff to current |
2011-11-16 | Andrea Asperti | inversion replaced by elim (???) | blob | commitdiff | raw | diff to current |
2011-03-21 | Andrea Asperti | extensions | blob | commitdiff | raw | diff to current |
2011-03-11 | Andrea Asperti | added star.ma (star closure of a relation) | blob | commitdiff | raw | diff to current |