Coal mines and mining. Regulations concerning coal mining leases, permits, and licenses, under act of Feb. 25, 1920 (Public no. 146); approved Apr. 1, 1920, reprinted as amended June 11, 1929.