X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=83528ee961bfe09de5373b99b665974e0ccbf2a4;hb=72e835f5e6848c09faf6343fb7e276c88bfc1f2e;hp=72bfee5bab0b2cee110116b8dec3607d94aba303;hpb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 72bfee5ba..83528ee96 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -19,7 +19,7 @@ -