You use Event Manager to view the logs. I'm not sure if a non-Administative user can view the Security Log.
But if it was a .bat file running upon admin logon he wouldn't have to be on the computer at the time, so that proves nothing. On the other hand, he'd have had to already have Admin priviliges to make such a file.