/test-suite/ideal-features/

• ../
• Apply.v
• Case3.v
• Case4.v
• Case8.v
• Case9.v
• complexity
• evars_subst.v
• universes.v