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 ad8afa38d7e187f97ba7bcd03724f6efb8ced222..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, 20 Apr 2014 22:05:41 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 09 Jun 2014 22:16:19 +0200</div>
 </body>
 </html>