coq/test-suite/misc/13330, branch master

coq/test-suite/misc/13330, branch master The formal proof system Add the test as a misc script. 2020-11-12T09:58:46+00:00 Pierre-Marie Pédrot 2020-11-10T12:35:35+00:00 332bb8c5199eb264d09d2810546170e0654f4527 I left the other test as a v file since it might become relevant when the corresponding Qed bug is fixed.

I left the other test as a v file since it might become relevant when the
corresponding Qed bug is fixed.