projects / helm.git / history
| 2009-05-14 | Ferruccio Guidi | - libraryObjects: new default "natural numbers" with... | blob | commitdiff | raw |
| 2009-04-15 | Ferruccio Guidi | - transcript: bugfix | blob | commitdiff | raw | diff to current |
| 2009-01-28 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
| 2008-08-16 | Enrico Tassi | added interpretation for \naturals, \rationals, and... | blob | commitdiff | raw | diff to current |
| 2008-05-30 | Enrico Tassi | garbage removed | blob | commitdiff | raw | diff to current |
| 2008-02-18 | Andrea Asperti | Complete proof of Bertrand for n >= 256. | blob | commitdiff | raw | diff to current |
| 2008-02-14 | Andrea Asperti | Prima versione di bertrand. Tanti cambiamenti qua e la. | blob | commitdiff | raw | diff to current |
| 2007-03-13 | Andrea Asperti | Few theorems added.` | blob | commitdiff | raw | diff to current |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |