X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=0198304cd2599d96ec545c5a0e517b68c4cb47a9;hb=72ced8ef1347b660fa45437443553ceeea8af57a;hp=b7988087c9fdae28483cef4ebc5d83dd925850bf;hpb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index b7988087c..0198304cd 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -1,6 +1,6 @@ - +
@@ -83,6 +83,6 @@