X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=982e136303db85c117620a508328c5c0742e235b;hb=37e1b4f314ffae815beca71300688040f8da6939;hp=060534f39d16bc6a76dc4f5c45bb4df0b7bcdab3;hpb=d48d412796a295256c048256c8f7a843e3406980;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 060534f39..982e13630 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -40,41 +40,52 @@ documentation