X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=e643ff80e3dc5560774652d8d2f93716036e6e9e;hb=7e80b8d7a4b2c38729512dee28b3e0ecf9595c2a;hp=926bcd5273762163ab1ddb6751cc27f04e3efb9d;hpb=d1ab998b8c8dacdfceee97d6275955675cf8be83;p=helm.git diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 926bcd527..e643ff80e 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -16,12 +16,12 @@

+ $[\lambda\delta home]$

cic:/BOLOGNA/lambdadelta/basic_1/ (core Î»Î´ version 1)

+ $\lambda\delta rainbow rule$

@@ -36,18 +36,18 @@ news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -62,20 +62,22 @@ milestones + + version 2 + + (background - core - applications) + +
+ version 2 - version 2 + helena - (background - core - applications) - +
- - library - - (static LDDL directory) @@ -84,25 +86,23 @@ visibility + + version 1 + + (background - core) + (static HELM directory) version 1 - version 1 - - (background - core) - (static HELM directory) - - helena - - -
+ library + (static LDDL directory)

Abstract Syntax and Behavior [spacer]

Abstract Syntax and Behavior $\lambda\delta butterfly$

This is a summary of available syntactic items and reductions (block structure).

@@ -164,7 +164,7 @@

* In terms only.

Summary of the Specification [spacer]

Summary of the Specification $\lambda\delta butterfly$

Here is a numerical account of the specification's contents and its timeline. @@ -198,7 +198,7 @@ characters 198089 nodes - + 1449099 propositions @@ -251,7 +251,7 @@ Specification starts. -

Logical Structure of the Specification [spacer]

Logical Structure of the Specification $\lambda\delta butterfly$

This table reports the specification's components and their planes.

@@ -798,7 +798,7 @@

+ $\lambda\delta rainbow rule$

@@ -823,6 +823,6 @@

Last update: Sat, 21 Feb 2015 23:38:38 +0100

Last update: Thu, 19 May 2016 12:17:41 +0200