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

Mode	Name	Size
-rw-r--r--	Cases.out	217	log plain
-rw-r--r--	Cases.out8	357	log plain
-rw-r--r--	Cases.v	101	log plain
-rw-r--r--	Cases.v8	112	log plain
-rw-r--r--	Coercions.out	81	log plain
-rw-r--r--	Coercions.out8	90	log plain
-rw-r--r--	Coercions.v	390	log plain
-rw-r--r--	Coercions.v8	412	log plain
-rw-r--r--	Fixpoint.out	200	log plain
-rw-r--r--	Fixpoint.out8	395	log plain
-rw-r--r--	Fixpoint.v	166	log plain
-rw-r--r--	Fixpoint.v8	387	log plain
-rw-r--r--	Implicit.out	232	log plain
-rw-r--r--	Implicit.out8	276	log plain
-rw-r--r--	Implicit.v	586	log plain
-rw-r--r--	Implicit.v8	647	log plain
-rw-r--r--	InitSyntax.out	304	log plain
-rw-r--r--	InitSyntax.out8	393	log plain
-rw-r--r--	InitSyntax.v	93	log plain
-rw-r--r--	InitSyntax.v8	110	log plain
-rw-r--r--	Intuition.out	87	log plain
-rw-r--r--	Intuition.out8	91	log plain
-rw-r--r--	Intuition.v	100	log plain
-rw-r--r--	Intuition.v8	120	log plain
-rw-r--r--	Nametab.out8	928	log plain
-rw-r--r--	Nametab.v8	90	log plain
-rw-r--r--	Notations.out8	350	log plain
-rw-r--r--	Notations.v8	567	log plain
-rw-r--r--	RealSyntax.out	33	log plain
-rw-r--r--	RealSyntax.out8	31	log plain
-rw-r--r--	RealSyntax.v	44	log plain
-rw-r--r--	RealSyntax.v8	48	log plain
-rw-r--r--	Sum.out	95	log plain
-rw-r--r--	Sum.out8	99	log plain
-rw-r--r--	Sum.v	75	log plain
-rw-r--r--	Sum.v8	92	log plain
-rw-r--r--	TranspModtype.out8	92	log plain
-rw-r--r--	TranspModtype.v8	384	log plain
-rw-r--r--	ZSyntax.out	528	log plain
-rw-r--r--	ZSyntax.out8	586	log plain
-rw-r--r--	ZSyntax.v	488	log plain
-rw-r--r--	ZSyntax.v8	557	log plain