X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fapps_2.html;h=c435f03e72d556d86585323a95bfff43c353440a;hb=efc1f5706f907b44b635ac93ab9093ace6abc210;hp=171b9c175c09d1426399556be60dcce8ad954ebc;hpb=708aa01d44c67343f0dac0353b52c7c2457069b3;p=helm.git diff --git a/helm/www/lambda_delta/apps_2.html b/helm/www/lambda_delta/apps_2.html index 171b9c175..c435f03e7 100644 --- a/helm/www/lambda_delta/apps_2.html +++ b/helm/www/lambda_delta/apps_2.html @@ -57,6 +57,6 @@