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 f74475b1023518a3804f0bfe808a5b300a24cdfd..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: Sun, 15 Dec 2013 16:51:14 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 09 Jun 2014 22:16:19 +0200</div>
 </body>
 </html>