X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fimplementation.html;h=12458806e6ed391ace7df458b53bad75a2e5f372;hb=faf48c4e026cf64a82095d024c356e091bf48ebf;hp=c046df27de484088ea1564cf8136a7f2400ec928;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git diff --git a/helm/www/lambda_delta/implementation.html b/helm/www/lambda_delta/implementation.html index c046df27d..12458806e 100644 --- a/helm/www/lambda_delta/implementation.html +++ b/helm/www/lambda_delta/implementation.html @@ -2,9 +2,9 @@
-