X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=40ff9c8b5d2a7c03bf380c2d017c5eac8dec55be;hb=d1ab998b8c8dacdfceee97d6275955675cf8be83;hp=1883ffc4e87edff65f2420f8a8c03632e7340acb;hpb=c6aece41fb3865f411bfe2a886b3b3cfb519031f;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 1883ffc4e..40ff9c8b5 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Wed, 18 Feb 2015 19:13:36 +0100
+
Last update: Sat, 21 Feb 2015 23:38:39 +0100