X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=df9740d6a6c66be1855e2aace8952027f2909051;hb=f1b5681cc8b74b016c7287d901564547fa70cdbd;hp=6ce0cb08e0cf0d5ba5d87561d45692aa7bffb59f;hpb=be2870b722324a1813ac9e72ebcb2cda6c8733d7;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 6ce0cb08e..df9740d6a 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -130,13 +130,13 @@