The term proceedings is broader than the term action, yet in the mining law it is used in the sense of action and refers to the commencement of an action. It is used to enable a party to institute such proceedings under the different forms of actions allowed by the State and Federal courts.