/test-suite/typeclasses/

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