]>
2006-10-25 | Claudio Sacerdoti... | Two lemmas that used to pass no more now pass again... | blob | commitdiff | raw |
2006-10-24 | Enrico Zoli | Added unit to rings. | blob | commitdiff | raw | diff to current |
2006-10-24 | Enrico Zoli | More coercions added in the algebraic hierarchy. | blob | commitdiff | raw | diff to current |
2006-10-24 | Enrico Zoli | Up to f_algebras. | blob | commitdiff | raw | diff to current |
2006-10-20 | Enrico Zoli | Up to f_algebras. | blob | commitdiff | raw | diff to current |
2006-10-20 | Enrico Zoli | 1. developed up to algebras | blob | commitdiff | raw | diff to current |
2006-10-16 | Enrico Zoli | Beginning of the development of integration algebras. | blob | commitdiff | raw | diff to current |