《煤矿防治水细则》于()起执行,原《煤矿防治水规定》同时废止。