Irestone

Ire"stone` (?), n. (Mining) Any very hard rock.