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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
