X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fdownload%2Flambda_delta.bib;h=f6df7f8614e896498c7233c792149c9c18d9ef1d;hb=5c1794aba0652c0b0bce80a9ffc426192327709f;hp=26c994a964bb9cca495ecf9d8381a98e4d5ddfbd;hpb=fba2975ffd09ffb30a60500725c9991421445f37;p=helm.git

diff --git a/helm/www/lambda_delta/download/lambda_delta.bib b/helm/www/lambda_delta/download/lambda_delta.bib
index 26c994a96..f6df7f861 100644
--- a/helm/www/lambda_delta/download/lambda_delta.bib
+++ b/helm/www/lambda_delta/download/lambda_delta.bib
@@ -70,9 +70,9 @@
 
 @misc{lambdadelta1,
    author="F. {Guidi}",
-   title="{lambda-delta}",
-   howpublished="Formal specification with the proof assistant \textsc{coq} 7.3.1",
+   title="{lambda\_delta\_1}",
+   howpublished="Formal specification with the proof assistant Coq 7.3.1",
    year="2007",
    month="January",
-   note="Available at the lambda-delta Web site: {http://helm.cs.unibo.it/lambda-delta/}"
+   note="Available at the lambda\_delta Web site: {http://lambda-delta.info/}"
 }