first article on lambdadelta version 3

[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
new file mode 100644 (file)
index 0000000..ec291e0
--- /dev/null
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -0,0 +1,14 @@
+name "documentation_3"
+
+table {
+   [ { name "ldJ4" "<span class=\"emph alpha\">J4.</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>)." +
+     "Submitted to JFR, Univerity of Bologna."
+     * }
+   ]
+}
+
+class "top" [ * ]