(coq.theory
 (name foo))

(include_subdirs qualified)
