/test-suite/bugs/opened/

• ../
• 1338.v-disabled
• 1501.v
• 1596.v
• 1671.v
• 1811.v
• 2447.v
• 2572.v-disabled
• 2652a.v-disabled
• 2652b.v-disabled
• 2800.v
• 2814.v
• 2951.v
• 3010.v-disabled
• 3045.v
• 3068.v
• 3071.v
• 3092.v
• 3100.v
• 3166.v
• 3186.v-disabled
• 3209.v
• 3230.v
• 3258.v
• 3263.v
• 3277.v
• 3278.v
• 3283.v
• 3295.v
• 3298.v
• 3304.v
• 3311.v
• 3312.v
• 3320.v
• 3326.v
• 3343.v
• 3345.v
• 3357.v
• 3363.v
• 3370.v
• 3383.v
• 3388.v
• 3395.v
• 3408.v
• 3410.v
• 3417.v
• 3459.v
• 3461.v
• 3463.v
• 3467.v
• 3478.v-disabled
• 3487.v
• 3490.v
• 3491.v
• 3509.v
• 3510.v
• 3554.v
• 3562.v
• 3618.v
• 3626.v
• 3628.v
• 3655.v
• 3657.v
• 3670.v
• 3675.v
• 3681.v
• 3682.v
• 3684.v
• 3685.v
• 3686.v
• 3692.v
• 743.v
• HoTT_coq_106.v
• HoTT_coq_120.v