X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flambda.xsl;h=28c876fa07cc55716f8da82a9ad3144c31892001;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=5dfb30a99dcf47461f1f90e6222318b0d6f752fc;hpb=785d5b45cb6dc7d70b4f3b05c7debc97d3453c09;p=helm.git diff --git a/helm/style/lambda.xsl b/helm/style/lambda.xsl index 5dfb30a99..28c876fa0 100644 --- a/helm/style/lambda.xsl +++ b/helm/style/lambda.xsl @@ -156,5 +156,3 @@ - -