History has Undo button which will reverse the action and delete the entry from history. This has been already pointed out that even if Undo button is used, the event from History should not be deleted.
Also, it’s possible she could have created this receipt in another business entity. Audit trail shows entries across all businesses, History is for specific business only.