Library Coq.ltac.LtacDummy