X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=3e6457ba5c16ccd7f06360b1a10828e659e8eef4;hb=93784f891de6d7840646a963c964e8877b3b50b2;hp=657dfe22991a22e9373fdb173e979078ac55d792;hpb=0a5a2f3cf0e3f748feb5beaad413181163504509;p=helm.git diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index 657dfe229..3e6457ba5 100644 --- a/helm/www/lambda_delta/documentation.html +++ b/helm/www/lambda_delta/documentation.html @@ -1,80 +1,86 @@ - + -
- -
-
|
-
- Documentation-Currently the main source of -information on λδ (version 1) is Resource -1.1 below.-A summary of basic λδ (version -1) is found in Resource 1.5 -below. - Basic λδ version 2:-
- - -Last update 2010-12-14 by Ferruccio -Guidi - - + + + + Last update 2012-02-24 by Ferruccio + Guidi + + |