X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=915d3193dddb1ee37905255c5a39d4d3d5b3727f;hb=9ffbf46176fb5f81768255992e46e69689663d69;hp=8ca8c771df44b58ee8ebf7bd778e92582e157b1e;hpb=c259a5f9cacd93550e80d2195ff4bf68a0d55ddb;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 8ca8c771d..915d3193d 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -2,13 +2,14 @@ + Î»Î´ home page

-

+

The Formal System Î»Î´ (\lambda\delta)

Towards the unification of terms, types, environments and contexts

@@ -115,7 +116,7 @@ for Matita 0.5 of the May 2008. The -specification of Î»Î´ version 1 is closed.
+specification of Î»Î´ version 1 is dismissed.

@@ -224,9 +225,9 @@ this site as the first result. Transitional" src="http://www.w3.org/Icons/valid-html401" style="border: 0px solid ; width: 88px; height: 31px;">

Ferruccio +Last update 2012-12-02 by

Ferruccio Guidi

- \ No newline at end of file +