Utsat kgl. prp. (jfr. 1900/1901) til lov om tillæg til §§ 18, 19 og 20 i lov ang. bergverksdriften av 14de juli 1842 m. v. (jfr. uttalelse av den norske bergindustriforening. 9 d. 92) indst. (l. k.) 6 d. b 145, beh. O.tid. (8 d.) 1259—61, 9 d. 127, O.besl. 6 d. b 163, beh. L.tid. (8 d.) 397, 9 d. 147, sanktion 9 d. 132, lov 22. mai 1902.