/test-suite/success/

• ../
• Case1.v
• Case10.v
• Case11.v
• Case12.v
• Case13.v
• Case14.v
• Case2.v
• Case5.v
• Case6.v
• Case7.v
• Case9.v
• CaseAlias.v
• Cases.v
• CasesDep.v
• Check.v
• Decompose.v
• DiscrR.v
• Discriminate.v
• Field.v
• Fourier.v
• Hints.v
• Injection.v
• LetIn.v
• Remark.v
• Require.v
• Simplify_eq.v
• Tauto.v
• coercions.v
• eauto.v
• eqdecide.v
• evars.v
• fix.v
• if.v
• implicit.v
• inds_type_sec.v
• induct.v
• mutual_ind.v
• options.v
• refine.v
• setoid_test.v
• unfold.v
• univers.v