]> matita.cs.unibo.it Git - helm.git/history - helm/style/arith.xsl
added notations for abstact polinomials
[helm.git] / helm / style / arith.xsl
2001-04-03 Ferruccio Guidiadded notations for abstact polinomials
2001-03-21 Ferruccio Guidimore notations added
2001-03-20 Ferruccio Guidibasic notations for arithmetics