X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=a2fcb0e6159eee9d8b4a4f99bdeb4aef75efa4d9;hb=a5a7eb39b9bad97d52d836ad1401329cff5b58a3;hp=8e32d0ff6d6e0edadb81f9ca0f7fb2348fbf7578;hpb=614542345e3e9c88722fdbc32c24a14b9a6c71d1;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 8e32d0ff6..a2fcb0e61 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,27 +134,27 @@