X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=fd455ae4740b968caf00efa87871371d90c359e9;hb=f10cfe417b6b8ec1c7ac85c6ecf5fb1b3fdf37db;hp=8971e075ae00e2afbb1569ef2939388495ae2e0e;hpb=836e4f30514bceb27394604bbfbae31a62723dae;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 8971e075a..fd455ae47 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@