[ { name "ldV2" "<span class=\"date\">V2.</span>" "" } {
"F. Guidi:" +
@@("version_2.html" "lambdadelta_2") +
- "(revised <span class=\"date\">2014-08</span>)." +
+ "(revised <span class=\"date\">2014-09</span>)." +
"Formal specification for the proof assistant Matita 0.99.2 (scripts)." +
@@("documentation.html#bibtex" "BibTeX entry") ^ "."
* }