projects / helm.git / history
| 2019-01-01 | Ferruccio Guidi | the decentralization of core notation continues ... | blob | commitdiff | raw |
| 2018-03-29 | Ferruccio Guidi | decentralizing core notation | blob | commitdiff | raw | diff to current |
| 2012-05-15 | Claudio Sacerdoti... | Patch by Ferruccio that enables \top/\bot for False... | blob | commitdiff | raw | diff to current |
| 2012-05-15 | Ferruccio Guidi | we added the standard notation for True and False ... | blob | commitdiff | raw | diff to current |
| 2012-05-04 | Claudio Sacerdoti... | (no commit message) | blob | commitdiff | raw | diff to current |
| 2012-05-04 | Claudio Sacerdoti... | (no commit message) | blob | commitdiff | raw | diff to current |
| 2012-01-03 | Andrea Asperti | more properties of union | blob | commitdiff | raw | diff to current |
| 2011-12-09 | Andrea Asperti | list.ma moved inside lists. | blob | commitdiff | raw | diff to current |
| 2011-12-06 | Andrea Asperti | naive sets (A-> Prop) | blob | commitdiff | raw | diff to current |