]>
2008-01-14 | Enrico Tassi | fixed uris | blob | commitdiff | raw |
2007-11-26 | Claudio Sacerdoti... | Axiom moved from ex_deriv to deriv where it belongs to. | blob | commitdiff | raw | diff to current |
2007-11-26 | Claudio Sacerdoti... | Notation improved. | blob | commitdiff | raw | diff to current |
2007-11-21 | Claudio Sacerdoti... | Very incomplete example of simple calculus exercises... | blob | commitdiff | raw | diff to current |