]>
2006-10-31 | Enrico Zoli | We begin to play the real game: we have defined real... |
commit | commitdiff | tree |
2006-10-31 | Enrico Zoli | Integration_algebras.ma split into 6 different files. |
commit | commitdiff | tree |
2006-10-31 | Enrico Zoli | Syntax changed (to be changed back) for left parameters... |
commit | commitdiff | tree |
2006-10-24 | Enrico Zoli | Added unit to rings. |
commit | commitdiff | tree |
2006-10-24 | Enrico Zoli | More coercions added in the algebraic hierarchy. |
commit | commitdiff | tree |
2006-10-24 | Enrico Zoli | Up to f_algebras. |
commit | commitdiff | tree |
2006-10-20 | Enrico Zoli | Up to f_algebras. |
commit | commitdiff | tree |
2006-10-20 | Enrico Zoli | 1. developed up to algebras |
commit | commitdiff | tree |
2006-10-20 | Enrico Zoli | Serious bug fixed: without a Lazy.force the user obtained... |
commit | commitdiff | tree |
2006-10-16 | Enrico Zoli | Beginning of the development of integration algebras. |
commit | commitdiff | tree |