X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=62e31753bd6040f68e34993f50db81b7756ddbd8;hb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;hp=45fd133bb1a66593e9a081bae4f4e70bee0844ad;hpb=a8a42ce5976221949b3999446eebc5d5457b81bd;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 +