X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=d9361a15c7f1856f4f74b96c3650c76d6e71b122;hb=bb1a03359dfaea6031592d28b9bfb15d797c44e5;hp=71b5724c5eccc331ff9369069e1e58b396c99f8d;hpb=8ece314152135bef6cfc427482ee619a3c4fd0b8;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 71b5724c5..d9361a15c 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -30,19 +30,19 @@
+ | home | -+ | news | -+ | documentation | -+ | implementation | -(specifications - library - Helena) | +(specifications - library - Helena) | ||||||||||||||||||||||||||||||||||||
@@ -90,39 +90,42 @@
Last update: Sun, 20 Jul 2014 16:55:23 +0200
+ Last update: Wed, 10 Sep 2014 21:47:00 +0200
|