X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=2ff59112bdb6f718b0628491205eaed22450ea43;hb=a1191a7aea28f2886f2ea7a13c43e8739a62f0ef;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..2ff59112b 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 + + |