Om endringer i lov ang. Bergverksdriften av 14. juli 1842, ot. prp. 56 for 1962 —63, innst. O. XI, O.tid. 555, besl. O. 126, L.tid. 138. Lov av 5. juni 1964. Lovheftet side 64.