Hi dear,
Firstly, try to understand the module properly by going through the datasheet for timer system.
There are vector numbers associated with every interrupt and it is 16 for timeroverflow.You can write it in the fashion below,
interrupt 16 void ISR_TIMOVF(void)
Also keep in mind that hexadecimal system 0x00 shall be followed while configuring the registers, However, individual bits can be set .
One more thing, it is not just enough to include a word EnableInterrupts but set the timer interrupt bit.
For more on this timing system, refer Embedded Systems-Design and Application for 68HC12 and HCS12 book by Steven F Barret and Daniel J Pack.
ALL THE BEST !