-
-
- - lambdadelta_1 for Coq 7.3.1 - (revised 2012-10). - Source scripts. +
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=c50f44b4f33eebfff731751e8b4e32cd4945a050;hb=d48d412796a295256c048256c8f7a843e3406980;hp=1549b10d654b9e91f806c10cebc75930801fda9f;hpb=644307df315b855c3851f813b04d562acf2db9bc;p=helm.git diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index 1549b10d6..c50f44b4f 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.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,60 +82,64 @@
Formats
+
The formal specification of λδ version 1
is available in the following formats:
-
+
+
@@ -169,6 +167,6 @@
Last update: Sun, 20 Jul 2014 15:02:32 +0200
+ Last update: Sat, 04 Oct 2014 22:58:58 +0200
|