usr/share/doc/coq-theories
usr/share/doc/coq