UNDEFFACTS
UNDEFFACTS
Deletes a deffacts.
(undeffacts <deffacts-name>)