Help with time…

Hi, I’m really a newbie at PHP.
I am messing around with the posting format.
I would like to post the time right after the date.
The theme is “thematic” https://www.ads-software.com/extend/themes/thematic

Currently, the format is somewhat like this:

POST TITLE
By Author | Date
CONTENT

I would like to add the time so that it would be

POST TITLE
By Author | Date | Time
CONTENT

I see that in index.php, there is a <?php thematic_postheader(); ?>
which calls all of those above. But I can’t find the function anywhere.
I’m thinking I should edit that function so that it can call the time as well.

Does anyone know how I should go about this?

Thanks in advance!