opened « bugs « test-suite - coq - The formal proof system

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	3961	log plain
-rw-r--r--	HoTT_coq_014.v	6055	log plain
-rw-r--r--	HoTT_coq_020.v	2911	log plain
-rw-r--r--	HoTT_coq_027.v	3197	log plain
-rw-r--r--	HoTT_coq_029.v	11554	log plain
-rw-r--r--	HoTT_coq_030.v	9083	log plain
-rw-r--r--	HoTT_coq_032.v	647	log plain
-rw-r--r--	HoTT_coq_033.v	289	log plain
-rw-r--r--	HoTT_coq_034.v	4375	log plain
-rw-r--r--	HoTT_coq_036.v	4150	log plain
-rw-r--r--	HoTT_coq_045.v	1445	log plain
-rw-r--r--	HoTT_coq_052.v	352	log plain
-rw-r--r--	HoTT_coq_053.v	1200	log plain
-rw-r--r--	HoTT_coq_054.v	3195	log plain
-rw-r--r--	HoTT_coq_061.v	4396	log plain
-rw-r--r--	HoTT_coq_062.v	3427	log plain
-rw-r--r--	HoTT_coq_063.v	747	log plain
-rw-r--r--	HoTT_coq_064.v	5925	log plain
-rw-r--r--	HoTT_coq_077.v	1103	log plain
-rw-r--r--	HoTT_coq_078.v	1443	log plain
-rw-r--r--	HoTT_coq_080.v	859	log plain
-rw-r--r--	HoTT_coq_081.v	266	log plain
-rw-r--r--	HoTT_coq_082.v	471	log plain
-rw-r--r--	HoTT_coq_083.v	584	log plain
-rw-r--r--	HoTT_coq_084.v	963	log plain
-rw-r--r--	HoTT_coq_085.v	2536	log plain
-rw-r--r--	HoTT_coq_089.v	1254	log plain
-rw-r--r--	HoTT_coq_093.v	1048	log plain
-rw-r--r--	HoTT_coq_098.v	2930	log plain
-rw-r--r--	HoTT_coq_101.v	2398	log plain
-rw-r--r--	HoTT_coq_102.v	835	log plain
-rw-r--r--	HoTT_coq_103.v	141	log plain
-rw-r--r--	HoTT_coq_104.v	317	log plain
-rw-r--r--	HoTT_coq_105.v	855	log plain
-rw-r--r--	HoTT_coq_106.v	1997	log plain
-rw-r--r--	HoTT_coq_107.v	3388	log plain
-rw-r--r--	HoTT_coq_110.v	752	log plain
-rw-r--r--	HoTT_coq_111.v	892	log plain
-rw-r--r--	HoTT_coq_113.v	727	log plain
-rw-r--r--	HoTT_coq_115.v	83	log plain
-rw-r--r--	HoTT_coq_120.v	5382	log plain
-rw-r--r--	HoTT_coq_122.v	838	log plain
-rw-r--r--	HoTT_coq_124.v	1502	log plain