X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=98de6a94e7a15fccdd06028dacf14099f676ae6a;hb=636db4e12452d2ebce318b36cf5c41d30e4d9c29;hp=03bb66869cf64243a3d2c6819dab2ea60d469fb6;hpb=5a35a42e23b2f343f0241eeb6648bf05f31720db;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 03bb66869..98de6a94e 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -58,20 +58,20 @@