]>
2012-01-10 | Andrea Asperti | A complete snapshot for re | tree | commitdiff |
2012-01-03 | Andrea Asperti | Complete version | tree | commitdiff |
2011-12-15 | Andrea Asperti | Hints sui DeqSets | tree | commitdiff |
2011-12-13 | Andrea Asperti | Splitted re into lang.ma nd re.ma | tree | commitdiff |
2011-12-12 | Claudio Sacerdoti... | Pairs are now records. | tree | commitdiff |
2011-12-12 | Andrea Asperti | Generalization to any alphabet. We do not need a finite | tree | commitdiff |
2011-12-09 | Andrea Asperti | closing more axioms | tree | commitdiff |
2011-12-07 | Andrea Asperti | Closing some axioms... | tree | commitdiff |
2011-12-07 | Andrea Asperti | \vee notation for boolean or | tree | commitdiff |
2011-12-05 | Andrea Asperti | Decidability of equality (draft) | tree | commitdiff |
2011-11-21 | Andrea Asperti | regular expressions | tree | commitdiff |