/test-suite/ideal-features/

• ../
• Apply.v
• Case4.v
• Case8.v
• Case9.v
• complexity
• eapply_evar.v
• evars_subst.v
• implicit_binders.v
• universes.v