projects / helm.git / history
| 2013-04-29 | Andrea Asperti | A few integrations (closed an axiom in finset). | blob | commitdiff | raw |
| 2012-06-08 | Andrea Asperti | Dropping a coercion and some hints due to conflicts... | blob | commitdiff | raw | diff to current |
| 2012-05-28 | Andrea Asperti | FinOpt | blob | commitdiff | raw | diff to current |
| 2012-05-28 | Andrea Asperti | mem, split | blob | commitdiff | raw | diff to current |
| 2012-05-25 | Andrea Asperti | New definition of finset. | blob | commitdiff | raw | diff to current |
| 2012-05-16 | Claudio Sacerdoti... | Added alias instance=1 to avoid interaction with the... | blob | commitdiff | raw | diff to current |
| 2012-05-04 | Wilmer Ricciotti | Added a turing/universal directory for the universal... | blob | commitdiff | raw | diff to current |
| 2012-04-27 | Andrea Asperti | Extensions to finset (sum) and auxiliary lemmas. | 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 |