]>
2014-02-11 | Ferruccio Guidi | some advances on reduction | blob | commitdiff | raw |
2014-01-31 | Ferruccio Guidi | some notation renamed and fixed | blob | commitdiff | raw | diff to current |
2014-01-29 | Ferruccio Guidi | bug fix in the notation of normal forms, now we specify... | blob | commitdiff | raw | diff to current |
2014-01-27 | Ferruccio Guidi | some corrections ... | blob | commitdiff | raw | diff to current |
2014-01-13 | Ferruccio Guidi | some improvements on the relation lsx ... | blob | commitdiff | raw |
2014-01-10 | Ferruccio Guidi | new definition of lleq allows to complete the proof... | blob | commitdiff | raw | diff to current |
2013-12-09 | Ferruccio Guidi | - first results on strongly normalizing local environments | blob | commitdiff | raw | diff to current |
2013-12-06 | Ferruccio Guidi | partial commit ... | blob | commitdiff | raw | diff to current |
2013-12-04 | Ferruccio Guidi | third commutation property on lazy equivalence for | blob | commitdiff | raw | diff to current |