X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=2ff59112bdb6f718b0628491205eaed22450ea43;hb=09f1f9fce2c91552dbb218276560d28ddc5f7a70;hp=e7f836acc7eedd42aee3203ed85975461bae721f;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index e7f836acc..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:-
- - -Last update 2010-12-14 by Ferruccio -Guidi - - + + + + Last update 2012-02-24 by Ferruccio + Guidi + + |