projects / helm.git / history
| 2011-12-13 | Andrea Asperti | Sig in Prop | blob | commitdiff | raw |
| 2011-12-13 | Claudio Sacerdoti... | More stuff integrated from CerCo on sigma types (that... | blob | commitdiff | raw | diff to current |
| 2011-12-12 | Claudio Sacerdoti... | pair => mk_Prod (one more was left in notation) | blob | commitdiff | raw | diff to current |
| 2011-12-12 | Claudio Sacerdoti... | Added elimination principles for destructuring let... | 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-12 | Claudio Sacerdoti... | Pairs are now records. | blob | commitdiff | raw | diff to current |
| 2011-12-09 | Andrea Asperti | list.ma moved inside lists. | blob | commitdiff | raw | diff to current |
| 2011-03-09 | Ferruccio Guidi | the interpretation for Sigma was missing | 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 |