Re: [ProofPower] z_app_thm

[Roger Jones]

 Sounds good to me.

 I expect the original was mine, yours is better.

Roger
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com