X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=ee93a0f9adb86b98f2d347a0e659aed66a3e0c09;hb=d966abb5707d0ce51be932b7bde99d4325d23a0c;hp=4bc159e6ddce3e8c7342a420f291718711bd6977;hpb=25893b01cb815cbd9a3b9684952bfc0f42c0739d;p=helm.git
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 4bc159e6d..ee93a0f9a 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -19,7 +19,7 @@
-