X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=25de9f6113088245ac2ff54af86de40ee37cfca3;hb=4ce3d9ff25dab34412495bf3dce9484e7d48efa5;hp=4bbdffd818e74ba54b00da4210df7bec145101c1;hpb=aa1045fc70f4b7be41bd8c49402de64d05a865b1;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 4bbdffd81..25de9f611 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -165,18 +165,18 @@