Source : Webster's Revised Unabridged Dictionary (1913)

Gravel-stone \Grav"el-stone"\, n.
   A pebble, or small fragment of stone; a calculus.