《煤矿安全规程》是行业法规，具有法律效力。