/test-suite/typeclasses/

• ../
• NewSetoid.v
• clrewrite.v
• unification_delta.v