Shift-F5 versus Ctrl-F5

Hi,
I have been using Shift-F5 to do refresh on IE, but someone told me it is Ctrl-F5. Is there a difference or is it Meta-F5? Also, where are these bindings defined?
thank you,
ilikecoding