X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=55d01c4dd4de05fc7f67bf21e6088efccdefb485;hb=cf546165b1e794f0025afa485d3db51083e17b30;hp=8ca8c771df44b58ee8ebf7bd778e92582e157b1e;hpb=c259a5f9cacd93550e80d2195ff4bf68a0d55ddb;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 8ca8c771d..55d01c4dd 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

@@ -70,6 +71,8 @@ specification of Î»Î´ version 2 and related topics is restarted in Here is a page about the specification (Core). +

Here is a page about the +background of the specification (Ground).

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

@@ -224,9 +227,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 2013-10-27 by

Ferruccio Guidi

- \ No newline at end of file +