X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=4e85dbaae92d472ab7deb644c18440ba68754c85;hb=7a9a72fcbad46e7de5714a6a2eeb8b32e95e1ed5;hp=0bb864a9cbf5e62fb94aea5402a7faf390ac04bd;hpb=c259a5f9cacd93550e80d2195ff4bf68a0d55ddb;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 0bb864a9c..4e85dbaae 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -1,6 +1,7 @@
+