X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=55d01c4dd4de05fc7f67bf21e6088efccdefb485;hb=cf546165b1e794f0025afa485d3db51083e17b30;hp=1c20541234bf5164386993f72a0213a7e867606f;hpb=158da000d9934317055becd9c221c15395970982;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 1c2054123..55d01c4dd 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -9,7 +9,7 @@

-[Crux Logo] +[Crux Logo]

The Formal System λδ (\lambda\delta)

Towards the unification of terms, types, environments and contexts

@@ -71,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).
    • @@ -225,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;"> [Use Any Browser Here] [PNG Used Here]

    -Last update 2012-12-02 by Ferruccio +Last update 2013-10-27 by Ferruccio Guidi
    - \ No newline at end of file +