X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=7c278108d82c6cd1bddd9cc22d06b4d8efcf9499;hb=df11c235566a301d9e1f9e41a372cc85bcb7b60e;hp=833ac41943e25416f6f4ab61b7efac74c9774cdf;hpb=cbc645186c8836c88c559c787a4deea63b7a12b0;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 833ac4194..7c278108d 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -152,9 +152,9 @@