Added the Agda patch for the ATP pragma.
Added the Agda patch for the ATP pragma.

Ignore-this: 6d9c60be590e5c0529c27ccc7be9ae5c

darcs-hash:20101002181240-3bd4e-729ba5e389fc57843fbf1baea3615cb5e1f04a80.gz

asr/fotc,asr/fotc