X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=3aa8581dc4576ecf4046e9ab581ff27200404f1d;hb=12fd764a3ab9df02fcea5403bdc50387bb648887;hp=9dcf6aaf2358c75b91ba7e32ef81be3f5658443f;hpb=abd0169d8025bf4d613a612231ad5b0c4c1db009;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 9dcf6aaf2..3aa8581dc 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -161,7 +161,7 @@