/test-suite/bugs/opened/

• ../
• 1338.v-disabled
• 1596.v
• 1615.v
• 1671.v
• 1811.v
• 2572.v-disabled
• 2652a.v-disabled
• 2652b.v-disabled
• 3010.v-disabled
• 3092.v
• 3166.v
• 3186.v-disabled
• 3248.v
• 3277.v
• 3278.v
• 3283.v
• 3295.v
• 3304.v
• 3311.v
• 3312.v
• 3343.v
• 3345.v
• 3357.v
• 3363.v
• 3370.v
• 3395.v
• 3424.v
• 3459.v
• 3463.v
• 3478.v-disabled
• 3626.v
• 3655.v
• 3754.v
• 3794.v
• 3889.v
• 3890.v
• 3919.v-disabled
• 3922.v-disabled
• 3928.v-disabled
• 3938.v
• 3946.v
• 4701.v
• 4721.v
• 4728.v
• 4755.v
• 4771.v
• 4778.v
• 4781.v
• 4813.v
• 6393.v
• 6602.v
• HoTT_coq_106.v