X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=4e85dbaae92d472ab7deb644c18440ba68754c85;hb=7a9a72fcbad46e7de5714a6a2eeb8b32e95e1ed5;hp=425084d70d3e30bd4b65168a54c8feb9fedcfd99;hpb=158da000d9934317055becd9c221c15395970982;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 425084d70..4e85dbaae 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -10,7 +10,7 @@