X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=e00c7ab8eeae33b15227072f662db20542fcdffd;hb=93bba1c94779e83184d111cd077d4167e42a74aa;hp=a60c9bbf9f064ae455099894677fe06f6346b769;hpb=d966abb5707d0ce51be932b7bde99d4325d23a0c;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index a60c9bbf9..e00c7ab8e 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -124,7 +124,7 @@