\lambda\delta home page

From 7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 9 Oct 2014 14:49:07 +0000 Subject: [PATCH] old pabes removed --- helm/www/lambdadelta/version_1.html | 172 ---------------------------- helm/www/lambdadelta/version_2.html | 136 ---------------------- 2 files changed, 308 deletions(-) delete mode 100644 helm/www/lambdadelta/version_1.html delete mode 100644 helm/www/lambdadelta/version_2.html diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html deleted file mode 100644 index 40bf6063a..000000000 --- a/helm/www/lambdadelta/version_1.html +++ /dev/null @@ -1,172 +0,0 @@ - - - - - - - - - - \lambda\delta home page - - - - - - -

- -

- -

The Formal System Î»Î´ version 1

-
-

- - - - - - - - - - - - - - - - - - - - - - - - -

- home -	- news -	- documentation -	- implementation -	(specifications - library - Helena)
- Foreword -	- Milestones -	- Version 2 -	- Version 2 -	(Background - Core - Applications)
- Notice -	- Visibility -	- Version 1 -	- Version 1 -	- -

- -

Formats

- -

- The formal specification of Î»Î´ version 1 - is available in the following formats: -

- -

- lambdadelta_1 for Coq 7.3.1 - (revised 2012-10). - Source scripts. -

- -

- lambdadelta_1 for Matita 0.5" - (revised 2011-09). - Static HTML pages generated by the HELM rendering engine. -
- - - Confluence of reduction - (Church-Rosser property). -
- - - Correctness of types. -
- - - Uniqueness of types up to conversion. -
- - - Subject reduction of the type assignment. -
- - - Strong normalization of the typed terms. -
- - - Decidability of the type inference problem. -
-

- -

- - lambdadelta_1 for Matita 0.5" - (revised 2011-09). - HELM directory. - Notice: the HELM rendering engine is offline. -

- -

-
-

- -

- - -

- - -

- - -

- - -

- -

-
-

Last update: Thu, 09 Oct 2014 15:00:23 +0200

- - diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html deleted file mode 100644 index b1202c109..000000000 --- a/helm/www/lambdadelta/version_2.html +++ /dev/null @@ -1,136 +0,0 @@ - - - - - - - - - - \lambda\delta home page - - - - - - -

- -

The Formal System Î»Î´ version 2

-
-

- - - - - - - - - - - - - - - - - - - - - - - - -

- home -	- news -	- documentation -	- implementation -	(specifications - library - Helena)
- Foreword -	- Milestones -	- Version 2 -	- Version 2 -	(Background - Core - Applications)
- Notice -	- Visibility -	- Version 1 -	- Version 1 -	- -

- -

Formats

- -

- The formal specification of Î»Î´ version 2 - is available in the following formats: -

- -

- lambdadelta_2 for Matita 0.99.2 - (revised 2014-10). - Source scripts. -

- -

- Background, - Core, - Applications. - Informational pages on the parts of the specification. -

- -

-
-

- -

- - -

- -

-
-

Last update: Thu, 09 Oct 2014 15:00:23 +0200

- - -- 2.39.2