X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=75a81d02f1b46109f3ca07baf8dae94ee2fabe00;hb=93c509f03ffa0d622fa76e39addf32966a173147;hp=e5ecc5760a941cabbf720cc6d11bf92fa3861f26;hpb=158da000d9934317055becd9c221c15395970982;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 +