X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=b89a7b0f0ff23809fc91a26ea5ce6ac55daa7741;hb=5275f55f5ec528edbb223834f3ec2cf1d3ce9b84;hp=41de394776bcc844420082b9933e428e56a0f042;hpb=ecb63d645415784352a937f8320f84c23da327f7;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 41de39477..b89a7b0f0 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: Fri, 01 Apr 2016 23:30:52 +0200

Last update: Thu, 07 Apr 2016 15:45:51 +0200