/test-suite/coq-makefile/timing/before/

• ../
• Fast.v
• Slow.v
• _CoqProject