Update TF.lhs

MODIFIED: Header