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=64120aa00c716fc3cbfe43f626723bddc6a35f4c;hpb=77c6a180035cd63f3edd4db54bd7e9b411f9e85e;p=helm.git diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index 64120aa00..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 (in progress):-
- - -Last update 2012-02-21 by Ferruccio -Guidi - - + + + + Last update 2012-02-24 by Ferruccio + Guidi + + |