X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=cb9b23247edeb484cfdd1f099750506ba2d81ebb;hb=645b62762e9c86e343d4741541a2ddccfed8ebc7;hp=75a81d02f1b46109f3ca07baf8dae94ee2fabe00;hpb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;p=helm.git
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 75a81d02f..cb9b23247 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -55,42 +55,42 @@
paper (as it happens for most currently digitalized
Mathematics).