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