/test-suite/success/

• ../
• Cases.v
• Check.v
• fix.v
• induct.v
• mutual_ind.v
• unfold.v