]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/html_init.xsl
Branch V7_3_new_exportation merged.
[helm.git] / helm / style / html_init.xsl
index 46fc61b249fa71842a62649809165a69ed6896c4..91d978f5c5202d177d4ff20e494892fb54a455c0 100644 (file)
  </xsl:template>
 
 
-
-
 <!-- COUNTING -->
 
 <xsl:template match="m:cn|m:and|m:or|m:not|m:exists|m:eq|m:neq