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

Reply via email to