-
-
- - lambdadelta_2 for Matita 0.99.2 - (revised 2014-07). - Source scripts. - -
-
-
- - Background, - Core, - Applications. - Informational pages on the parts of the specification. - -
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_2.html;h=37a5db3d8583d3bf1066cf306e2a4cacc6287ed1;hb=43282d3750af8831c8100c60d75c56fdfb7ff3c9;hp=bbbf58ff76fb4bca410cdeaaeeed394208131479;hpb=644307df315b855c3851f813b04d562acf2db9bc;p=helm.git diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html index bbbf58ff7..37a5db3d8 100644 --- a/helm/www/lambdadelta/version_2.html +++ b/helm/www/lambdadelta/version_2.html @@ -30,21 +30,19 @@
+ | home | -+ | news | -+ | documentation | -+ | implementation | -(specifications - library - Helena) | +(specifications - library - Helena) |
@@ -59,11 +57,7 @@ | Version 2 | -- Background - Core - Applications - | +(Background - Core - Applications) | ||||||
@@ -88,26 +82,29 @@
Formats
+
![]()
The formal specification of λδ version 2
is available in the following formats:
-
+
![]() Last update: Sun, 20 Jul 2014 15:02:32 +0200
+ Last update: Sun, 14 Sep 2014 23:26:35 +0200
|