読みたかったのはそれじゃない

ほう『砂鉱採取法』とな? http://dl.ndl.go.jp/info:ndljp/pid/796232 これはスルースボックスの技術的解説が載っているに違いない!

・・・と思ったら、方法の法じゃなくて法律の法だった。 ん?昔は、鉱業法と砂鉱採取法は別の法律だったのか?

想像だけど http://www.houko.com/00/01/M26/010.HTM を見ると・・・

砂鉱採取法
  明治26・3・6・法律 10号==
改正明治28・4・17・法律 30号−−
廃止明治42・3・25・法律 13号−−

明治42年に鉱業法の中に組み込まれたのかな〜? もっとも、現在の鉱業法は昭和25年に制定されたもので、明治の鉱業法とは同じではないんだろうけど。