X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=4b32a65f670fa340f434d86d36fe5086693e1379;hb=a84e0c2abc802c308f3749e27bb843622534e8d7;hp=e5d2f0e37d0e2cc9fc68d9865354b469e69b9d43;hpb=f694e3336cbdabdeefd86f85d827edfd26bf3464;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index e5d2f0e37..4b32a65f6 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,27 +134,27 @@