/test-suite/success/

• ../
• Apply.v
• Case1.v
• Case10.v
• Case11.v
• Case2.v
• Case3.v
• Case4.v
• Case5.v
• Case6.v
• Case7.v
• Case8.v
• Case9.v
• Cases.v
• CasesDep.v
• Check.v
• Decompose.v
• DiscrR.v
• Field.v
• Fourier.v
• Hints.v
• Tauto.v
• eauto.v
• eqdecide.v
• evars.v
• fix.v
• inds_type_sec.v
• induct.v
• mutual_ind.v
• unfold.v