X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_term.xsl;h=01ccff3bb9fbab80d211f252f4fae0df9eee6e56;hb=93c509f03ffa0d622fa76e39addf32966a173147;hp=d2cb461a36e0a0d6c507e5c6ba4ce21ad681a360;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git diff --git a/helm/www/lambdadelta/xslt/lddl_term.xsl b/helm/www/lambdadelta/xslt/lddl_term.xsl index d2cb461a3..01ccff3bb 100644 --- a/helm/www/lambdadelta/xslt/lddl_term.xsl +++ b/helm/www/lambdadelta/xslt/lddl_term.xsl @@ -12,7 +12,7 @@ V_______________________________________________________________ -->