X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=cb9b23247edeb484cfdd1f099750506ba2d81ebb;hb=645b62762e9c86e343d4741541a2ddccfed8ebc7;hp=e5ecc5760a941cabbf720cc6d11bf92fa3861f26;hpb=158da000d9934317055becd9c221c15395970982;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index e5ecc5760..cb9b23247 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -10,7 +10,7 @@