Hypertext Webster Gateway: "Punned"
From Webster's Revised Unabridged Dictionary (1913) (web1913)
Pun \Pun\, v. i. [imp. & p. p. {Punned}; p. pr. & vb. n.
{Punning}.]
To make puns, or a pun; to use a word in a double sense,
especially when the contrast of ideas is ludicrous; to play
upon words; to quibble. --Dryden.
Additional Hypertext Webster Gateway Lookup
Gateway by dict@stokkie.net
stock only wrote the gateway and does not have any control over the contents;
see the Webster Gateway FAQ,
and also the Back-end/database links and credits.