if SHOW PROCESSLIST shows nothing going on then there's nothing attached to those files.

Still, I'd err in the way of caution and rename them or move them aside, make sure nothing breaks, then delete them.

They had already deleted them for me, however, everything still seems to be working OK.