X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_3.tbl;h=b4dd848a600b4c991f8a07497920310483a22095;hb=03401922e645207c7b64b52e1c4349f7951fcf71;hp=cf80e782d7e184cda3fb728a0eb793038c2b08cd;hpb=a02ba10c669642bd4b75a5b0ac9351c24ddb724a;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/documentation_3.tbl b/helm/www/lambdadelta/web/home/documentation_3.tbl
index cf80e782d..b4dd848a6 100644
--- a/helm/www/lambdadelta/web/home/documentation_3.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -3,10 +3,10 @@ name "documentation_3"
table {
[ { name "ldJ3a" "J3a." "" } {
"F. Guidi:" +
- @@("download/gda.pdf"
- "Verified Representations of Landau's \"Grundlagen\" in λδ and in the Calculus of Constructions") +
- "(2015-08)." +
- "Submitted to JFR, Univerity of Bologna." +
+ @("http://jfr.unibo.it/article/view/4716"
+ "Verified Representations of Landau's \"Grundlagen\" in the λδ Family and in the Calculus of Constructions") +
+ "(2015-12)." +
+ "In JFR 8(1), Univerity of Bologna, pp. 93-116." +
@@("documentation.html#bibtex" "BibTeX entry") ^ "."
* }
]