X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=4de89dc53917ac5e6b2a4a43762355481859a374;hb=ed87c2c166f9f5db2729772e55154d7858dae4d6;hp=accd82d1030afa0a23c2f57110f8b08cdee633a0;hpb=b6e1db4f1b0f1d5121f2b214562f96c5b0fa544e;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index accd82d10..4de89dc53 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -102,7 +102,7 @@ -