where are thematic functions like thematic_aboveheader written out?

Does anyone know which php file in thematic has the full code of this function (and similar ones)?

I have found the calling of this function in header.php and thematic>library>extensions>header-extensions.php.

However I cannot find the file of its full code. I checked functions.php and it is not there.

Thanks!