coq/test-suite/misc/7595, branch master The formal proof system add test for #7595 2018-06-07T14:59:52+00:00 Ralf Jung 2018-06-07T14:59:23+00:00 509a8e2acb908cdddd693d93a39ed317f30d8ab6