]>
2011-12-12 | Andrea Asperti | Generalization to any alphabet. We do not need a finite | blob | commitdiff | raw |
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 |