]>
2022-01-08 | Ferruccio Guidi | update in lib | commit | commitdiff |
2012-12-07 | Ferruccio Guidi | - "re": a part of reb.ma commented out since it cannot... | commit | commitdiff |
2012-05-04 | Claudio Sacerdoti... | (no commit message) | commit | commitdiff |
2012-04-26 | Ferruccio Guidi | - notation (possibly affecting all .ma files): | commit | commitdiff |
2012-04-04 | Andrea Asperti | Added in basics | commit | commitdiff |
2012-01-03 | Andrea Asperti | Complete version | commit | commitdiff |
2011-12-13 | Andrea Asperti | Splitted re into lang.ma nd re.ma | commit | commitdiff |
2011-12-12 | Claudio Sacerdoti... | Pairs are now records. | commit | commitdiff |
2011-12-09 | Andrea Asperti | closing more axioms | commit | commitdiff |
2011-12-07 | Andrea Asperti | Closing some axioms... | commit | commitdiff |
2011-12-07 | Andrea Asperti | \vee notation for boolean or | commit | commitdiff |
2011-12-05 | Andrea Asperti | Decidability of equality (draft) | commit | commitdiff |
2011-11-21 | Andrea Asperti | regular expressions | commit | commitdiff |