X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=0fedfb1512b615e304f1cfee31e852ad092e10af;hb=503426723b9fc786c69dc988d38726997ecb809a;hp=bca651cf172de7d70cce64a592b4b82fbf23a5f5;hpb=d64b4238ec803353f0a06f2aad25c173852b0526;p=helm.git

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index bca651cf1..0fedfb151 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -179,6 +179,18 @@
               <br />
             </td>
           </tr>
+          <tr>
+            <td class="snns top" id="ldP2d">
+              <span class="emph alpha">P2d.</span>
+            </td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/ld_talk_9s.pdf">Considerations on Automath in Light of the Grundlagen</a> (<span class="emph beta">2016-05</span>). Presentation at University of Bologna (slides).</td>
+          </tr>
+          <tr>
+            <td class="nnns top" />
+            <td class="nsnn top">
+              <br />
+            </td>
+          </tr>
           <tr>
             <td class="snns top" id="ldP2c">
               <span class="emph alpha">P2c.</span>
@@ -389,6 +401,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 May 2016 15:25:26 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 31 May 2016 21:18:47 +0200</div>
   </body>
 </html>