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