X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=2520a4102e5cbd7d223b23750592b22166f705ed;hb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;hp=20833265c179d4cbf59bacb04b904edf263036db;hpb=bc5516f15988620e9b152c6c741daae4a4c4fb0c;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 20833265c..2520a4102 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -161,6 +161,10 @@ +