[ @@("html/specification#v1" "Version 1") "\"basic_1\""
[ "\"A\"" @("http://coq.inria.fr/" "Coq 7.3.1")
"May 2004" "December 2005" "November 2006" "May 2008"
[ @@("html/specification#v1" "Version 1") "\"basic_1\""
[ "\"A\"" @("http://coq.inria.fr/" "Coq 7.3.1")
"May 2004" "December 2005" "November 2006" "May 2008"