X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_reals.xsl;h=9d49b1305edfa2287b4d9fdacf1b7515b4e29573;hb=a6e7b3d67704039e6e6bd45beedfa4f7e170a593;hp=3403b9dcb8c537e752d448116b87d3b35cd92142;hpb=6b3bf7885c6e9e5faee65dd18cdc428f0d1d383b;p=helm.git diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl index 3403b9dcb..9d49b1305 100644 --- a/helm/style/html_reals.xsl +++ b/helm/style/html_reals.xsl @@ -326,10 +326,3 @@ - - - - - - -