projects / helm.git / history
| 2012-05-04 | Claudio Sacerdoti... | (no commit message) | blob | commitdiff | raw |
| 2012-04-27 | Andrea Asperti | Extensions to finset (sum) and auxiliary lemmas. | blob | commitdiff | raw | diff to current |
| 2012-01-03 | Andrea Asperti | noteq_to_eqnot | blob | commitdiff | raw | diff to current |
| 2011-12-15 | Andrea Asperti | Splitted DeqSets in their own file. Notation for memb... | blob | commitdiff | raw | diff to current |
| 2011-12-12 | Claudio Sacerdoti... | precedence level of if-then-else fixed | blob | commitdiff | raw | diff to current |
| 2011-12-12 | Claudio Sacerdoti... | Some integrations from CerCo. In particular: | blob | commitdiff | raw | diff to current |
| 2011-12-09 | Andrea Asperti | list.ma moved inside lists. | blob | commitdiff | raw | diff to current |
| 2011-10-10 | Claudio Sacerdoti... | 1. nInversion/nDestruct ported to work with jmeq properly | blob | commitdiff | raw | diff to current |
| 2010-12-16 | Andrea Asperti | New version of the library. Several files still do... | blob | commitdiff | raw | diff to current |