Real Decreto 713/2011, de 20 de mayo, por el que se establecen doce certificados de profesionalidad de la familia profesional Industrias extractivas que se incluyen en el Repertorio Nacional de certificados de profesionalidad y se actualizan determinados certificados de profesionalidad establecidos en el Real Decreto 1217/2009, de 17 de julio.ç