X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=6a18176d120b609df9c160dd588b6ac191462023;hb=4b25f363cbe0bfc828f88972f1552c406ed31cbc;hp=f77eff5f839e43cdd97c735c723b2563ef85d74a;hpb=f725a35c9014595293cfe43081ef11b059d5e3a7;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index f77eff5f8..6a18176d1 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -6,8 +6,8 @@ - -