Detached agda2atp version from Agda library version.
Detached agda2atp version from Agda library version.

Ignore-this: f98629c97cc62572bb61a4ba563ba6d4

darcs-hash:20120128000530-3bd4e-c21640ebbe990066a552f0cd6d7555a1d2f8871a.gz

asr/fotc,asr/fotc