Listings of some theories built into ProofPower
Overview
up HOME © RBJ