]>
2012-04-26 | Ferruccio Guidi | - notation (possibly affecting all .ma files): | blob | commitdiff | raw |
2012-04-04 | Andrea Asperti | Added in basics | blob | commitdiff | raw | diff to current |
2012-01-03 | Andrea Asperti | reverse | blob | commitdiff | raw | diff to current |
2011-12-13 | Claudio Sacerdoti... | 1) PSig and Sig merged into a single Sigma type in... | blob | commitdiff | raw | diff to current |
2011-12-13 | Claudio Sacerdoti... | 1) New file russell with the coercions to activate... | blob | commitdiff | raw | diff to current |
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... | Some integrations from CerCo. In particular: | blob | commitdiff | raw | diff to current |
2011-12-06 | Andrea Asperti | Listb contains some boolean functions over lists. | blob | commitdiff | raw | diff to current |