X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=f7e1408c8431d019cbc139ab89c19aceb3b2b69a;hb=ac6ee5e6d406f594d11e895f8faad058b9a0568e;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..f7e1408c8 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -16,12 +16,12 @@
- [lambdadelta home] + [\lambda\delta home]
cic:/BOLOGNA/lambdadelta/basic_1/ (core λδ version 1)
- [Spacer] + [Spacer]

@@ -31,23 +31,23 @@ - home + home news - - documentation - - + specification - +
- +
+ + documentation + implementation @@ -57,52 +57,52 @@ - foreword + foreword milestones - - version 2 - - + version 2 - (background - core - applications) - + (background - core - applications) +
+ + version 2 + - library + helena + + + Open Symbolic Notation (OSN) - (static LDDL directory) - citations + citations 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 [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 [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 [butterfly]
This table reports the specification's components and their planes.
@@ -798,7 +798,7 @@
- [Spacer] + [Spacer]

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

-
Last update: Sat, 21 Feb 2015 23:38:38 +0100
+
Last update: Thu, 26 Jan 2017 22:16:09 +0100