X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=75a81d02f1b46109f3ca07baf8dae94ee2fabe00;hb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;hp=e5ecc5760a941cabbf720cc6d11bf92fa3861f26;hpb=a8a42ce5976221949b3999446eebc5d5457b81bd;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index e5ecc5760..75a81d02f 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -10,7 +10,7 @@

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

Towards the unification of terms, types, environments and @@ -130,7 +130,8 @@ Formal
-
Access: static pages (updated 2012-10), data set (updated 2012-10), HELM server URL +
Access: static pages (updated 2012-10), data set (updated 2012-10), HELM server URL (updated 2012-10).

@@ -250,4 +251,4 @@ computer Guidi

- \ No newline at end of file +