X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;fp=helm%2Fwww%2Flambdadelta%2Findex.html;h=b3e330c9fe9867b7b1618e0c1ca59bd1f30bab08;hb=503426723b9fc786c69dc988d38726997ecb809a;hp=36ac7c63096ef24b6343ad1b1af97261a3596a7a;hpb=d64b4238ec803353f0a06f2aad25c173852b0526;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 36ac7c630..b3e330c9f 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -283,6 +283,6 @@

-
Last update: Sun, 22 May 2016 15:25:26 +0200
+
Last update: Tue, 31 May 2016 21:18:47 +0200