Moved a bug report to the agda2atp tool.
Moved a bug report to the agda2atp tool.

Ignore-this: e1514c644722b889facf44f91ec27a62

darcs-hash:20110322153307-3bd4e-0b07e862cc164decb95313adbe8b811bafa0a08d.gz

asr/fotc,asr/fotc