]>
2014-05-11 | Ferruccio Guidi | advances on ldrop .... | blob | commitdiff | raw |
2014-04-25 | Ferruccio Guidi | - advances in the theory of cofrees | blob | commitdiff | raw | diff to current |
2014-04-18 | Ferruccio Guidi | - the relation for pointwise extensions now takes a... | blob | commitdiff | raw | diff to current |
2014-03-30 | Ferruccio Guidi | update of the partial commit: | blob | commitdiff | raw | diff to current |
2014-03-11 | Ferruccio Guidi | reaxiomatized lleq fixes a bug in it and allows to... | blob | commitdiff | raw |
2014-01-13 | Ferruccio Guidi | some improvements on the relation lsx ... | blob | commitdiff | raw | diff to current |
2014-01-10 | Ferruccio Guidi | new definition of lleq allows to complete the proof... | blob | commitdiff | raw | diff to current |