Roger, On 11 Jan 2011, at 12:03, Roger Bishop Jones wrote:
> Thanks Rob, that's great. > > Do you intend to add this to maths_egs? It was originally destined for inclusion in ProofPower itself as part of a recursive type definition package, but I keep failing to getting round to that. Regards, Rob.
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com