doc/stdlib/html usr/share/doc/coq-theories/
usr/lib/coq/states/initial.coq
# *.vo files will be added here