X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=65cc576272074a037687a069d7ee017e89958ad5;hb=e5077c96c584933ad1467e8066780b46d7b0468c;hp=8393a44d4b3d7e0659d244fa01a5e2e4788a5e21;hpb=8ef39aa169a7f3b02372b9e5b4ab58905a08b690;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 8393a44d4..65cc57627 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -161,18 +161,18 @@