]>
2005-09-23 | Andrea Asperti | A few changes to factorization and gcd. | blob | commitdiff | raw |
2005-09-22 | Claudio Sacerdoti... | More notation here and there. | blob | commitdiff | raw | diff to current |
2005-09-22 | Claudio Sacerdoti... | More notation here and there: \sup, \divides, \ndivides, ! | blob | commitdiff | raw | diff to current |
2005-09-22 | Claudio Sacerdoti... | More notation here and there. | blob | commitdiff | raw | diff to current |
2005-09-19 | Claudio Sacerdoti... | Notation for "ex" introduced. It is the same as the... | blob | commitdiff | raw | diff to current |
2005-09-19 | Claudio Sacerdoti... | Removed final question marks from {apply|elim|rewrite}s. | blob | commitdiff | raw | diff to current |
2005-09-16 | Enrico Tassi | added a function to reorder the metasenv. | blob | commitdiff | raw | diff to current |
2005-09-14 | Andrea Asperti | factorization.ma | blob | commitdiff | raw | diff to current |