Listings of some theories built into ProofPower
Overview