- update in ground_2 and basic_2

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

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index bca651cf172de7d70cce64a592b4b82fbf23a5f5..0fedfb1512b615e304f1cfee31e852ad092e10af 100644 (file)
--- 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>