X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=e2a0831ee7c4da81e1e6786922baebb5291b6616;hb=d48d412796a295256c048256c8f7a843e3406980;hp=80d8b11b137840dd82c6be4d00d9f7ebc5bac3e9;hpb=060864edadf332c07663e85bdc2299ee64e191ee;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 80d8b11b1..e2a0831ee 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Thu, 02 Oct 2014 22:32:45 +0200
+
Last update: Sat, 04 Oct 2014 22:58:58 +0200