]> matita.cs.unibo.it Git - helm.git/history - helm/style/contentlib.xsl
----------------------------------------------------------------------
[helm.git] / helm / style / contentlib.xsl
2001-07-24 Irene Schena--------------------------------------------------...
2001-07-05 Andrea AspertiNotation for ZArith (inside arith.xsl) added.
2001-04-09 Irene SchenaModified Files:
2001-04-05 Ferruccio Guidicontentlib.xsl improved, now handles eq eqT
2001-04-03 Ferruccio Guidiadded notations for abstact polinomials
2001-03-20 Ferruccio Guidibasic notations for arithmetics