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