Ire"stone` (?), n. Mining

Any very hard rock.

 

© Webster 1913.