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.


Proofpower mailing list

Reply via email to