X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=866682828b926f15235041a52b8092e735066837;hb=614542345e3e9c88722fdbc32c24a14b9a6c71d1;hp=5df60f34361c62943dbb63ea643f3a61e8a5d54d;hpb=f82a900182012664dd58eb1d8ab012c2a6f541ab;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 5df60f343..866682828 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Thu, 22 Sep 2016 15:52:43 +0200
+
Last update: Mon, 16 Jan 2017 12:25:25 +0100