X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=fd82cab3feb7959a167ad9189a562cebc5628878;hb=a145b5df4a86b3d5f8516a9c1cb76a62f6327151;hp=8a41523971cdd4cf00cae1f022f56b2f1bb96282;hpb=117ddc09ce7995f14af84401b2a21f17a7bc1b7a;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 8a4152397..fd82cab3f 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -16,12 +16,12 @@

+ $[\lambda\delta home]$

The Formal Systems of the Î»Î´ (\lambda\delta) Family

+ $\lambda\delta rainbow rule$

@@ -73,9 +73,11 @@ version 2 - library + helena + + +
- (static LDDL directory) @@ -93,16 +95,14 @@ version 1 - helena - - -
+ library + (static LDDL directory)

Computer-checked formal specifications [spacer]

Computer-checked formal specifications $\lambda\delta butterfly$

The systems of the Î»Î´ family are developed as machine-checked digital specifications, @@ -245,14 +245,14 @@

Î»Î´ version 3 (proposed)

+ $\lambda\delta butterfly$ Î»Î´ version 3 (proposed)

The formal specification of Î»Î´ version 3 is forthcoming.

Î»Î´ version 2 (active)

+ $\lambda\delta butterfly$ Î»Î´ version 2 (active)

The formal specification of Î»Î´ version 2 is available in the following formats: @@ -284,7 +284,7 @@

Î»Î´ version 1 (superseded)

+ $\lambda\delta butterfly$ Î»Î´ version 1 (superseded)

The formal specification of Î»Î´ version 1 is available in the following formats: @@ -357,7 +357,7 @@ Core.

+ $\lambda\delta rainbow rule$

@@ -382,6 +382,6 @@

Last update: Sun, 07 Feb 2016 18:51:17 +0100

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