]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/lambda.xsl
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / style / lambda.xsl
index 5dfb30a99dcf47461f1f90e6222318b0d6f752fc..28c876fa07cc55716f8da82a9ad3144c31892001 100644 (file)
 </xsl:template>
 
 </xsl:stylesheet>
-
-