Encoding CIC in XML: theories
In Coq, a section is an ordered list of objects or (sub)section declarations. It is used to give structure to a ".v" file, and also to delimit the scope of objects declarations.