X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=46d1eacb5526cab147d14fa940896447d4a98287;hb=f1b5681cc8b74b016c7287d901564547fa70cdbd;hp=6f32577f753c595a5d4cd79c48e74aa89147edff;hpb=be2870b722324a1813ac9e72ebcb2cda6c8733d7;p=helm.git diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 6f32577f7..46d1eacb5 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -192,13 +192,13 @@