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" [ * ]