Added cleaning of .tptp files.
Added cleaning of .tptp files.

Ignore-this: 6911f61f2198698dc5e54e873a3fc66

darcs-hash:20100323154604-3bd4e-a97d14e6e96334e9b004b1705aec3c00a35525af.gz

asr/fotc,asr/fotc