new version of J3a submitted to JFR

[helm.git] / helm / www / lambdadelta / web / home / documentation_3.tbl

diff --git a/helm/www/lambdadelta/web/home/documentation_3.tbl b/helm/www/lambdadelta/web/home/documentation_3.tbl
index 4df01fc55267f86e75d7f11683acab5e6ea588ee..cf80e782d7e184cda3fb728a0eb793038c2b08cd 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation_3.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -4,8 +4,8 @@ table {
    [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
      "F. Guidi:" +
      @@("download/gda.pdf"
-     "A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
-     "(<span class=\"emph alpha\">2015-02</span>)." +
+     "Verified Representations of Landau's \"Grundlagen\" in λδ and in the Calculus of Constructions") +
+     "(<span class=\"emph alpha\">2015-08</span>)." +
      "Submitted to JFR, Univerity of Bologna." +
      @@("documentation.html#bibtex" "BibTeX entry") ^ "."
      * }