X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=5f7506bd5b8bb7beaf00f0f2a23d2447cceaadd5;hb=e36a0eced135e6f1b79d06c78a408918f65376b6;hp=2b7aee243ab97929199cf571d2b1dfc93bfb942a;hpb=baab36c06f86166d1332ca8175b7193d70045b48;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 2b7aee243..5f7506bd5 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -90,7 +90,7 @@
+ J4. + | +F. Guidi: A Verified Translation of Landau's "Grundlagen" from Automath into a Pure Type System, via λδ (2015-02). Submitted to JFR, Univerity of Bologna. | +
+ |
+ + |
+