X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=b6f6ce3b2dae8ce2b1e7fe057ef3b239a7c7786e;hb=f6fd7c37170e17fa29ee835cdff3922ac11be398;hp=55bf49ffbd423baacb3fe3a197550697ff20e32b;hpb=c44a7c4d35c1bb9651c3596519d8262e52e90ff4;p=helm.git diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 55bf49ffb..b6f6ce3b2 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@