Checksum: fc270f73baf6ee8620a43641f3459c130b2a14d146b5ce3eecadeb167a8d6fe0 (page 1)

• coq/7.2-9/test-suite/ideal-features/Case4.v
• coq/8.0pl2-2/test-suite/ideal-features/Case4.v
• coq/8.0pl3-2/test-suite/ideal-features/Case4.v