]>
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 | Complete version | blob | commitdiff | raw | diff to current |
2011-12-13 | Andrea Asperti | Splitted re into lang.ma nd re.ma | 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 | closing more axioms | blob | commitdiff | raw | diff to current |
2011-12-07 | Andrea Asperti | Closing some axioms... | blob | commitdiff | raw | diff to current |
2011-12-07 | Andrea Asperti | \vee notation for boolean or | blob | commitdiff | raw | diff to current |
2011-12-05 | Andrea Asperti | Decidability of equality (draft) | blob | commitdiff | raw | diff to current |
2011-11-21 | Andrea Asperti | regular expressions | blob | commitdiff | raw | diff to current |