X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=ae328b1cf98353751f1196115f1a43121c7d8631;hb=29b8894621ee2f91f9582e9d2bd88913961b1df0;hp=b9df89aba5467fc0fdef68a3c1a6f34e3015bc71;hpb=1ea0f459b4435459442c8afb113bae815e38986e;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index b9df89aba..ae328b1cf 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -57,6 +57,6 @@