X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=b5bc15268c8651a59c0c0323cfe62c231dbc7f65;hb=c713c14cb3c69b1e9a4c693aed382eedc04512c1;hp=3f0d5d4279126f41e57f0e27d6e2adf3d813f3ff;hpb=376fd7774ef0fa2f30a4afb25aab6158e3cd04b7;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 3f0d5d427..b5bc15268 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Tue, 11 Feb 2014 22:11:38 +0100
+
Last update: Fri, 21 Feb 2014 17:37:37 +0100