I should have supplied references in my last (for Rob's material on finiteness):
http://lemma-one.com/ProofPower/examples/examples.html http://lemma-one.com/ProofPower/examples/wrk073.pdf http://lemma-one.com/ProofPower/examples/PPZEgs.tgz Roger Jones _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
