projects / helm.git / history
| 2008-04-02 | Enrico Tassi | removed dummy rewrite | blob | commitdiff | raw |
| 2008-03-10 | Claudio Sacerdoti... | Scripts fixed because of: | blob | commitdiff | raw | diff to current |
| 2008-02-18 | Andrea Asperti | Complete proof of Bertrand for n >= 256. | blob | commitdiff | raw | diff to current |
| 2007-12-10 | Andrea Asperti | Restructuring. | blob | commitdiff | raw | diff to current |
| 2007-11-19 | Andrea Asperti | Towards chebyshev. | blob | commitdiff | raw | diff to current |
| 2007-10-14 | Cristian Armentano | Theorem sigma_p_knm changed into generic_iter_p_knm. | blob | commitdiff | raw | diff to current |
| 2007-09-18 | Cristian Armentano | some theorems have been moved to more appropriate files... | blob | commitdiff | raw | diff to current |
| 2007-09-17 | Andrea Asperti | A new function. | blob | commitdiff | raw | diff to current |
| 2007-07-30 | Cristian Armentano | renamed generic_sigma_p.ma to generic_iter_p.ma | blob | commitdiff | raw | diff to current |