Unified prettyTPTP for formulas.
Unified prettyTPTP for formulas.

Ignore-this: 1ea7f52057727170786e4fe36a005a35

darcs-hash:20100409003923-3bd4e-dc37b7dd45b83c21be33a4823bd98707e43f1569.gz

asr/fotc,asr/fotc