Dictionary entry

Dripstone

Webster's Dictionary 1913

Drip″stone′ (?), n.(Arch.) A drip, when made of stone. See Drip, 2.