]>
2014-06-28 | Ferruccio Guidi | - ldrop is now drop as in basic_1 | blob | commitdiff | raw |
2014-03-08 | Ferruccio Guidi | some corrections ... | blob | commitdiff | raw | diff to current |
2014-02-28 | Ferruccio Guidi | - some corrections and additions | blob | commitdiff | raw | diff to current |
2014-02-21 | Ferruccio Guidi | - main proposition on lsx finally proved! | blob | commitdiff | raw | diff to current |
2014-01-10 | Ferruccio Guidi | new definition of lleq allows to complete the proof... | blob | commitdiff | raw |
2013-12-02 | Ferruccio Guidi | - last patrtial commit of the "reduction" and "computat... | blob | commitdiff | raw | diff to current |
2013-11-28 | Ferruccio Guidi | definition of equivalence for local environments, | blob | commitdiff | raw | diff to current |