projects / helm.git / history
| 2006-10-30 | Claudio Sacerdoti... | Up to integration f-algebras. | tree | commitdiff |
| 2006-10-25 | Claudio Sacerdoti... | Two lemmas that used to pass no more now pass again... | tree | commitdiff |
| 2006-10-24 | Enrico Zoli | Added unit to rings. | tree | commitdiff |
| 2006-10-24 | Enrico Zoli | More coercions added in the algebraic hierarchy. | tree | commitdiff |
| 2006-10-24 | Enrico Zoli | Up to f_algebras. | tree | commitdiff |
| 2006-10-20 | Enrico Zoli | Up to f_algebras. | tree | commitdiff |
| 2006-10-20 | Enrico Zoli | 1. developed up to algebras | tree | commitdiff |
| 2006-10-16 | Enrico Zoli | Beginning of the development of integration algebras. | tree | commitdiff |
| 2006-05-31 | Claudio Sacerdoti... | Sigma algebras and measurable maps defined. | tree | commitdiff |
| 2006-05-31 | Claudio Sacerdoti... | Committed a first experiment in the formalization of... | tree | commitdiff |