- [ @@("specification#v1" "Version 1") "\"basic_1\"" @("http://coq.inria.fr/" "Coq 7.3.1")
- "" "May 2004" "December 2005" "November 2006" "May 2008"
- @@("documentation#ldV1a" "V1a") + " " + @@("documentation#ldJ1a" "J1a")
+ [ @@("html/specification#v1" "Version 1") "\"basic_1\""
+ "" @("http://coq.inria.fr/" "Coq 7.3.1")
+ "May 2004" "December 2005" "November 2006" "May 2008"
+ @@("html/documentation#ldV1a" "V1a") + " " + @@("html/documentation#ldJ1a" "J1a") *