Mention Irish Summer Time in theory.html

Add a description of Mention Irish Summer Time in theory.html