Function: cl-do-proclaim
(fn SPEC HIST)