]>
2006-12-15 | Claudio Sacerdoti... | Huge DAMA update: | blob | commitdiff | raw |
2006-11-06 | Enrico Zoli | More work on groups, real numbers and integration algebras. | blob | commitdiff | raw | diff to current |
2006-11-05 | Claudio Sacerdoti... | Some clean-up here and there in dama (coercions removed... | blob | commitdiff | raw | diff to current |
2006-11-05 | Claudio Sacerdoti... | Added more typing information to remove a coercion. | blob | commitdiff | raw | diff to current |
2006-11-03 | Enrico Zoli | Up to absolute value | blob | commitdiff | raw | diff to current |
2006-11-03 | Enrico Zoli | Up to max (up to a bug). | blob | commitdiff | raw | diff to current |
2006-10-31 | Enrico Zoli | We begin to play the real game: we have defined real... | blob | commitdiff | raw | diff to current |
2006-10-31 | Enrico Zoli | Integration_algebras.ma split into 6 different files. | blob | commitdiff | raw | diff to current |