X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fdocumentation.html;h=2ff59112bdb6f718b0628491205eaed22450ea43;hb=708aa01d44c67343f0dac0353b52c7c2457069b3;hp=71f208233f099f9f929e5a8d3567a5a92d6d06ff;hpb=cc57e6f6528ccc871a4d52d2ce4859c4a76fc0ca;p=helm.git diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index 71f208233..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 2011-09-09 by Ferruccio -Guidi - - + + + + Last update 2012-02-24 by Ferruccio + Guidi + + |