Dictionary entry

Irestone

Webster's Dictionary 1913

Ire″stone′ (?), n.(Mining) Any very hard rock.