projects / helm.git / search
| 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 |