X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=9578f98533ead4a5441ed38050b1d193c1ea0782;hb=90dd88139a78b4dd650d5c462ecf602bf4813cd4;hp=3f24ef43c49b56451bb7d7be978185b88102801b;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 3f24ef43c..9578f9853 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -1,355 +1,266 @@ - - -
- -
+
|
+
+ Documentation+Currently the main source of +information on λδ (version 1) is Resource J1 below.+A summary of basic λδ (version +1) is found in Resource P5 +below. + Basic λδ version +2 (in progress):+
- - - Last update 2012-12-01 by Ferruccio - Guidi - - + src="images/globe_trans.png" + style="border: 0px solid ; width: 147px; height: 42px;"> + +Last update 2014-02-25 by Ferruccio + +Guidi + + |