/test-suite/complexity/

• ../
• autodecomp.v
• injection.v
• lettuple.v
• pretyping.v
• ring.v
• ring2.v
• setoid_rewrite.v
• unification.v