X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=49406f8c4b4b9f562e800efa6479291d2558cf09;hb=f10cfe417b6b8ec1c7ac85c6ecf5fb1b3fdf37db;hp=4a0f0284afa4dccb8f29106192aae1843f14bb1b;hpb=836e4f30514bceb27394604bbfbae31a62723dae;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 4a0f0284a..49406f8c4 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -234,6 +234,6 @@