/test-suite/output/

• ../
• Arguments.out
• Arguments.v
• ArgumentsScope.out
• ArgumentsScope.v
• Arguments_renaming.out
• Arguments_renaming.v
• Cases.out
• Cases.v
• Coercions.out
• Coercions.v
• Errors.out
• Errors.v
• Existentials.out
• Existentials.v
• Extraction_matchs_2413.out
• Extraction_matchs_2413.v
• Fixpoint.out
• Fixpoint.v
• Implicit.out
• Implicit.v
• Inductive.out
• Inductive.v
• InitSyntax.out
• InitSyntax.v
• Intuition.out
• Intuition.v
• Match_subterm.out
• Match_subterm.v
• Nametab.out
• Nametab.v
• Naming.out
• Naming.v
• Notations.out
• Notations.v
• Notations2.out
• Notations2.v
• NumbersSyntax.out
• NumbersSyntax.v
• PrintAssumptions.out
• PrintAssumptions.v
• PrintInfos.out
• PrintInfos.v
• PrintModule.out
• PrintModule.v
• Quote.out
• Quote.v
• RealSyntax.out
• RealSyntax.v
• Record.out
• Record.v
• Search.out
• Search.v
• SearchHead.out
• SearchHead.v
• SearchPattern.out
• SearchPattern.v
• SearchRewrite.out
• SearchRewrite.v
• Sum.out
• Sum.v
• Tactics.out
• Tactics.v
• TranspModtype.out
• TranspModtype.v
• ZSyntax.out
• ZSyntax.v
• inference.out
• inference.v
• ltac.out
• ltac.v
• names.out
• names.v
• reduction.out
• reduction.v
• rewrite-2172.out
• rewrite-2172.v
• set.out
• set.v
• simpl.out
• simpl.v