X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=cca6b45857d3d8a6314e9fbc493e9094f48b4bbe;hb=4e961fd767a9800fe35fda629f7a2f119d4b165f;hp=75673285c0f9f58a7f514ddb5363b75a440c1291;hpb=1f1eb9d91faf1e905d44b5f44943b2db8472cc74;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 75673285c..cca6b4585 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -76,29 +76,29 @@