output « test-suite - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	ArgumentsScope.out	1083	log plain
-rw-r--r--	ArgumentsScope.v	535	log plain
-rw-r--r--	Cases.out	916	log plain
-rw-r--r--	Cases.v	839	log plain
-rw-r--r--	Coercions.out	108	log plain
-rw-r--r--	Coercions.v	651	log plain
-rw-r--r--	Errors.out	87	log plain
-rw-r--r--	Errors.v	174	log plain
-rw-r--r--	Existentials.out	189	log plain
-rw-r--r--	Existentials.v	225	log plain
-rw-r--r--	Extraction_matchs_2413.out	1058	log plain
-rw-r--r--	Extraction_matchs_2413.v	2732	log plain
-rw-r--r--	Fixpoint.out	612	log plain
-rw-r--r--	Fixpoint.v	898	log plain
-rw-r--r--	Implicit.out	391	log plain
-rw-r--r--	Implicit.v	1276	log plain
-rw-r--r--	InitSyntax.out	389	log plain
-rw-r--r--	InitSyntax.v	111	log plain
-rw-r--r--	Intuition.out	91	log plain
-rw-r--r--	Intuition.v	121	log plain
-rw-r--r--	Match_subterm.out	25	log plain
-rw-r--r--	Match_subterm.v	86	log plain
-rw-r--r--	Nametab.out	1114	log plain
-rw-r--r--	Nametab.v	917	log plain
-rw-r--r--	Naming.out	1789	log plain
-rw-r--r--	Naming.v	1957	log plain
-rw-r--r--	Notations.out	3362	log plain
-rw-r--r--	Notations.v	7711	log plain
-rw-r--r--	Notations2.out	1152	log plain
-rw-r--r--	Notations2.v	2742	log plain
-rw-r--r--	NumbersSyntax.out	950	log plain
-rw-r--r--	NumbersSyntax.v	1351	log plain
-rw-r--r--	PrintAssumptions.out	552	log plain
-rw-r--r--	PrintAssumptions.v	2422	log plain
-rw-r--r--	PrintInfos.out	3147	log plain
-rw-r--r--	PrintInfos.v	476	log plain
-rw-r--r--	Quote.out	972	log plain
-rw-r--r--	Quote.v	911	log plain
-rw-r--r--	RealSyntax.out	31	log plain
-rw-r--r--	RealSyntax.v	49	log plain
-rw-r--r--	Record.out	212	log plain
-rw-r--r--	Record.v	385	log plain
-rw-r--r--	Search.out	896	log plain
-rw-r--r--	Search.v	143	log plain
-rw-r--r--	SearchPattern.out	789	log plain
-rw-r--r--	SearchPattern.v	408	log plain
-rw-r--r--	SearchRewrite.out	72	log plain
-rw-r--r--	SearchRewrite.v	118	log plain
-rw-r--r--	Sum.out	99	log plain
-rw-r--r--	Sum.v	93	log plain
-rw-r--r--	Tactics.out	132	log plain
-rw-r--r--	Tactics.v	488	log plain
-rw-r--r--	TranspModtype.out	89	log plain
-rw-r--r--	TranspModtype.v	385	log plain
-rw-r--r--	ZSyntax.out	571	log plain
-rw-r--r--	ZSyntax.v	558	log plain
-rw-r--r--	reduction.out	44	log plain
-rw-r--r--	reduction.v	278	log plain
-rw-r--r--	rewrite-2172.out	101	log plain
-rw-r--r--	rewrite-2172.v	734	log plain
-rw-r--r--	set.out	315	log plain
-rw-r--r--	set.v	154	log plain
-rw-r--r--	simpl.out	201	log plain
-rw-r--r--	simpl.v	148	log plain