]>
2011-12-15 | Andrea Asperti | Hints sui DeqSets | blob | commitdiff | raw |
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-12 | Andrea Asperti | Generalization to any alphabet. We do not need a finite | 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-05 | Andrea Asperti | Decidability of equality (draft) | blob | commitdiff | raw | diff to current |