]>
2011-12-06 | Ferruccio Guidi | we added a definition and a couple of lemmas | blob | commitdiff | raw |
2011-11-16 | Andrea Asperti | inversion replaced by elim (???) | blob | commitdiff | raw | diff to current |
2011-03-21 | Andrea Asperti | extensions | blob | commitdiff | raw | diff to current |
2011-03-11 | Andrea Asperti | added star.ma (star closure of a relation) | blob | commitdiff | raw | diff to current |