From 0a5a2f3cf0e3f748feb5beaad413181163504509 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 8 Sep 2011 21:28:55 +0000 Subject: [PATCH] - helm server url updated - some renaming --- helm/www/lambda_delta/documentation.html | 12 ++++++------ helm/www/lambda_delta/implementation.html | 12 ++++++------ helm/www/lambda_delta/index.html | 8 ++++---- helm/www/lambda_delta/news.html | 6 +++--- 4 files changed, 19 insertions(+), 19 deletions(-) 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).