On Saturday 15 Jan 2011 13:47, Rob Arthan wrote:

> On 11 Jan 2011, at 12:03, Roger Bishop Jones wrote:

> > 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.

Oh, that would be handy!

But you have other good things in progress and only so much 
time, of course.

Roger

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

Reply via email to