X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=75a81d02f1b46109f3ca07baf8dae94ee2fabe00;hb=7a9a72fcbad46e7de5714a6a2eeb8b32e95e1ed5;hp=0163d01c463fee47813a969058240e17d2d89fa8;hpb=c259a5f9cacd93550e80d2195ff4bf68a0d55ddb;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 0163d01c4..75a81d02f 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -1,6 +1,7 @@
+