X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=466976704a9e0dd9372e0945c3b403ea8942b11a;hb=e5077c96c584933ad1467e8066780b46d7b0468c;hp=73455cedc48540a6171c5425d0204388605d84fe;hpb=53e2ec54cdbb8055cb7bda75aa8ce3af0a6e6f49;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 73455cedc..466976704 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -72,29 +72,29 @@