opened « bugs « test-suite - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	1338.v-disabled	332	log plain
-rw-r--r--	1501.v	2587	log plain
-rw-r--r--	1596.v	7311	log plain
-rw-r--r--	1671.v	322	log plain
-rw-r--r--	1773.v	192	log plain
-rw-r--r--	1811.v	200	log plain
-rw-r--r--	2310.v	642	log plain
-rw-r--r--	3230.v	372	log plain
-rw-r--r--	743.v	218	log plain
-rw-r--r--	HoTT_coq_007.v	4312	log plain
-rw-r--r--	HoTT_coq_014.v	7047	log plain
-rw-r--r--	HoTT_coq_020.v	3350	log plain
-rw-r--r--	HoTT_coq_027.v	3211	log plain
-rw-r--r--	HoTT_coq_029.v	11579	log plain
-rw-r--r--	HoTT_coq_030.v	9107	log plain
-rw-r--r--	HoTT_coq_032.v	661	log plain
-rw-r--r--	HoTT_coq_033.v	431	log plain
-rw-r--r--	HoTT_coq_034.v	4402	log plain
-rw-r--r--	HoTT_coq_036.v	4273	log plain
-rw-r--r--	HoTT_coq_045.v	1552	log plain
-rw-r--r--	HoTT_coq_052.v	442	log plain
-rw-r--r--	HoTT_coq_053.v	1210	log plain
-rw-r--r--	HoTT_coq_054.v	3210	log plain
-rw-r--r--	HoTT_coq_061.v	4401	log plain
-rw-r--r--	HoTT_coq_062.v	3437	log plain
-rw-r--r--	HoTT_coq_063.v	757	log plain
-rw-r--r--	HoTT_coq_064.v	5930	log plain
-rw-r--r--	HoTT_coq_077.v	1103	log plain
-rw-r--r--	HoTT_coq_078.v	1448	log plain
-rw-r--r--	HoTT_coq_080.v	864	log plain
-rw-r--r--	HoTT_coq_081.v	271	log plain
-rw-r--r--	HoTT_coq_082.v	485	log plain
-rw-r--r--	HoTT_coq_083.v	589	log plain
-rw-r--r--	HoTT_coq_084.v	968	log plain
-rw-r--r--	HoTT_coq_085.v	2541	log plain
-rw-r--r--	HoTT_coq_089.v	1269	log plain
-rw-r--r--	HoTT_coq_093.v	1048	log plain
-rw-r--r--	HoTT_coq_098.v	2906	log plain
-rw-r--r--	HoTT_coq_101.v	2403	log plain
-rw-r--r--	HoTT_coq_102.v	987	log plain
-rw-r--r--	HoTT_coq_103.v	146	log plain
-rw-r--r--	HoTT_coq_104.v	322	log plain
-rw-r--r--	HoTT_coq_105.v	860	log plain
-rw-r--r--	HoTT_coq_106.v	2002	log plain
-rw-r--r--	HoTT_coq_107.v	3393	log plain
-rw-r--r--	HoTT_coq_110.v	762	log plain
-rw-r--r--	HoTT_coq_111.v	929	log plain
-rw-r--r--	HoTT_coq_113.v	732	log plain
-rw-r--r--	HoTT_coq_115.v	88	log plain
-rw-r--r--	HoTT_coq_120.v	5392	log plain
-rw-r--r--	HoTT_coq_122.v	853	log plain
-rw-r--r--	HoTT_coq_124.v	1512	log plain