]>
2013-01-13 | Ferruccio Guidi | standardization: equivalence between paths and left... | blob | commitdiff | raw |
2013-01-06 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw | diff to current |
2012-12-18 | Ferruccio Guidi | - star.ma: strip lemma and confluence of star | blob | commitdiff | raw | diff to current |
2012-12-08 | Ferruccio Guidi | - list.ma: improved notation for constant lists (a... | 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-11-23 | Ferruccio Guidi | additions in lift.ma .... | blob | commitdiff | raw | diff to current |
2012-11-23 | Ferruccio Guidi | the theory of substitution is started ... | blob | commitdiff | raw | diff to current |