(include_subdirs qualified)
(coq.theory
 (name ExtLibExamples)
 (theories ExtLib))
