Added missing ATP definitions.
Added missing ATP definitions.

Ignore-this: 3b3c373c2dd18ce05ccc1efd4812a2b4

darcs-hash:20110205131613-3bd4e-50691c642fd8de075a1c33c365bf096588af93a0.gz

asr/fotc,asr/fotc