]>
2006-06-21 | Ferruccio Guidi | RELATIONAL-ARITHMETICS updated | blob | commitdiff | raw |
2006-06-19 | Ferruccio Guidi | axioms removed | blob | commitdiff | raw | diff to current |
2006-06-16 | Ferruccio Guidi | contribution on relational arithmetics started | blob | commitdiff | raw | diff to current |