Source : Webster's Revised Unabridged Dictionary (1913)

Rochelime \Roche"lime`\, n. [F. roche rock + E. lime.]
   Lime in the lump after it is burned; quicklime. [Eng.]