X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=9083df133f81d9508318e91a753ac89d6d4a0561;hb=664db7cbb56fc1c794a4e61c6c15cee53cc7cf38;hp=82ab3aa4fd88f337b7b5ba7426e4ecc6a02475c4;hpb=325bc2fb36e8f8db99a152037d71332c9ac7eff9;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 82ab3aa4f..9083df133 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,18 +134,18 @@