The agda2atp tool fixed the issue related to the eta-expansion of TPTP definitions.
The agda2atp tool fixed the issue related to the eta-expansion of TPTP definitions.

Ignore-this: 447b379a77cb14d71c8a7b51a2b87837

darcs-hash:20110730142709-3bd4e-d570ee27862523ca742a98082ef46b71ab657230.gz

asr/fotc,asr/fotc