]> matita.cs.unibo.it Git - helm.git/history - helm/style/lambda.xsl
new "light" implementation of intersection (compatible with the generator)
[helm.git] / helm / style / lambda.xsl
2001-07-24 Irene Schena--------------------------------------------------...
2001-05-15 Andrea AspertiAggiunto lambda.xsl