X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=62e31753bd6040f68e34993f50db81b7756ddbd8;hb=8913001064f595c21ed4234884e7c370be2afb52;hp=45fd133bb1a66593e9a081bae4f4e70bee0844ad;hpb=158da000d9934317055becd9c221c15395970982;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 45fd133bb..62e31753b 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -10,7 +10,7 @@

-[Crux Logo] +[Crux Logo]

The Formal System λδ (\lambda\delta)

Towards the unification of terms, types, environments and contexts

@@ -142,4 +142,4 @@ Last update 2012-12-02 by Ferruccio Guidi
- \ No newline at end of file +