Added the Agda names of the axioms/hints/postulates to the TPTP files.
Added the Agda names of the axioms/hints/postulates to the TPTP files.

Ignore-this: cfaf8bae7027208cde8dcb8407c3c85b

darcs-hash:20100331201604-3bd4e-531af6e6fb17749e803eb201114eaf89f6b442db.gz

asr/fotc,asr/fotc