A compilation of Spanish and Mexican law, in relation to mines, and titles to real estate