]>
2012-12-18 | Ferruccio Guidi | - star.ma: strip lemma and confluence of star | blob | commitdiff | raw |
2012-12-17 | Ferruccio Guidi | - lambda: some parts commented out, some refactoring | blob | commitdiff | raw | diff to current |
2012-12-08 | Ferruccio Guidi | - new pointes can point to any subterm | blob | commitdiff | raw | diff to current |
2012-12-06 | Ferruccio Guidi | - we enabled a notation for ex2 | blob | commitdiff | raw | diff to current |
2012-12-03 | Ferruccio Guidi | - nat.ma: we added a general induction principle | blob | commitdiff | raw | diff to current |
2012-12-01 | Ferruccio Guidi | - lambda: parallel reduction to obtain diamond property | blob | commitdiff | raw | diff to current |
2012-11-28 | Ferruccio Guidi | - relations.ma: | blob | commitdiff | raw | diff to current |
2012-11-27 | Ferruccio Guidi | bug fix in notation precedences | blob | commitdiff | raw | diff to current |
2012-11-27 | Ferruccio Guidi | - the theory of delifting substitution is done | blob | commitdiff | raw | diff to current |