X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=c9551cd119b2efd4abc0bd40e0664e1e8aed3a7a;hb=93bba1c94779e83184d111cd077d4167e42a74aa;hp=f67d1f81a5ccb80ad8a0b71341e0e14bd977a250;hpb=b7168bf5d5260960a5600093c4b5024e538d8583;p=helm.git
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index f67d1f81a..c9551cd11 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -19,7 +19,7 @@
-