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

[lambdadelta home]

+ $[\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, @@ -135,6 +135,21 @@ concluded references + + + Version 3 + + "basic_3" + + + + + + + + J3a + + Version 2 @@ -228,9 +243,16 @@ introduced in each script, is shown in parentheses (? are placeholders). + +

+ $\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: @@ -262,7 +284,7 @@

-

Î»Î´ version 1 (superseded)

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

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

-

+ $\lambda\delta rainbow rule$

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

-

Last update: Wed, 30 Dec 2015 14:54:53 +0100

+

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