mailstone in basic_2 !! "big tree" theorem completed after 15 months

[helm.git] / helm / www / lambdadelta / BTM.html

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 8f9e8123f2f92c80df25706662cabe86e0b71d3d..69bf19d5b2e21922c6e18e029533b1e14fd60989 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -223,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 27 Jul 2013 18:11:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 09 Jun 2014 22:16:19 +0200</div>
 </body>
 </html>