/test-suite/coq-makefile/template/

• ../
• init.sh
• path-init.sh
• src
• theories