X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2FBTM.html;h=a0fba18eecf9a9081ed7ba77070d4e124235c6b1;hb=1f1ea7bb9e6c34626bcabd4c0142fcde98bcbbe5;hp=f7ad182885dc51c9bdf54e68a9094725e0a88445;hpb=43d727778aacdda8feb1228cf37860e7713930f2;p=helm.git diff --git a/helm/www/lambda_delta/BTM.html b/helm/www/lambda_delta/BTM.html index f7ad18288..a0fba18ee 100644 --- a/helm/www/lambda_delta/BTM.html +++ b/helm/www/lambda_delta/BTM.html @@ -20,6 +20,6 @@
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-13T23:29:26+02:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-18T16:59:43+02:00