If your users are using ksh, bash, or csh, there should be a history file (.sh_history in ksh for example) in each user's home directory. If it's a fairly recent event, the history variable is set large enough and your users aren't savvy enough to delete or change the history, you could gather these up and grep them for rm commands.