X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=35fdff6e84068f4f3234efd1aabc78b8e2a9f818;hb=93bba1c94779e83184d111cd077d4167e42a74aa;hp=a61fd00ddff5fcfbb5cc0fb58c0132423c6e3ae0;hpb=6ce2552192c2727eb5f7d17f52b949549e1e6ad1;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index a61fd00dd..35fdff6e8 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -152,29 +152,29 @@