From: Ferruccio Guidi Date: Thu, 8 Sep 2011 21:28:55 +0000 (+0000) Subject: - helm server url updated X-Git-Tag: make_still_working~2296 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a5a2f3cf0e3f748feb5beaad413181163504509;p=helm.git - helm server url updated - some renaming --- diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html index e7f836acc..657dfe229 100644 --- a/helm/www/lambda_delta/documentation.html +++ b/helm/www/lambda_delta/documentation.html @@ -2,9 +2,9 @@ - lambda-delta home page + lambda_delta home page - + @@ -13,7 +13,7 @@ [Crux Logo] -

The Formal System λδ (lambda-delta)
+

The Formal System λδ (lambda_delta)

Towards the unification of terms, types, environments and contexts

[Separator]summary of basic λδ (version 1) is found in Resource 1.5 below.

[Basic lambda-delta Logo] Basic λδ version 2:

@@ -87,7 +87,7 @@ Guidi: Landau's -"Grundlagen der Analysis" from Automath to lambda-delta ( (2009-09). University of Bologna, technical report UBLCS-2009-16. BibTeX entry.
@@ -127,7 +127,7 @@ Bologna

[Basic lambda-delta Logo] Basic λδ version 1:

diff --git a/helm/www/lambda_delta/implementation.html b/helm/www/lambda_delta/implementation.html index c046df27d..27fbff71b 100644 --- a/helm/www/lambda_delta/implementation.html +++ b/helm/www/lambda_delta/implementation.html @@ -2,9 +2,9 @@ - lambda-delta home page + lambda_delta home page - + @@ -13,7 +13,7 @@ [Crux Logo] -

The Formal System λδ (lambda-delta)
+

The Formal System λδ (lambda_delta)

Towards the unification of terms, types, environments and contexts

[Separator]Automath2010-11), data set (updated 2010-11), HELM server URL + href="http://lambda-delta.info/xml">HELM server URL (updated 2010-11).