Variant of defrule that makes the theorem local.
This is identical to defrule except that the :local argument is set to t.
