/test-suite/ideal-features/

• ../
• Apply.v
• Case3.v
• Case4.v
• Case8.v
• evars_subst.v