Sounds good to me. I expect the original was mine, yours is better.
Roger _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
- [ProofPower] z_app_thm Phil Clayton
- Re: [ProofPower] z_app_thm Roger Jones
