X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Farith.xsl;h=0751b123c530f65ce246dc098430de58d4a3f24e;hb=2bdd1d6fe07cc5fa756871467f21524a58d776b2;hp=617930350481c838a5aafc6f229e3c64674910ca;hpb=3798732d9707017506da34b063f4ff6095722c30;p=helm.git diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl index 617930350..0751b123c 100644 --- a/helm/style/arith.xsl +++ b/helm/style/arith.xsl @@ -25,64 +25,298 @@ - + + + xmlns:helm="http://www.cs.unibo.it/helm"> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + - + + - + + - + - + + - + + - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 0 + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +