On 31/07/11 16:33, Rob Arthan wrote:
Phil,
On 30 Jul 2011, at 17:18, Rob Arthan wrote:
On 28 Jul 2011, at 18:10, Phil Clayton wrote:
There appears to be a bug in z_%mem%_seta_conv (see attached) when
renaming of bound variables is required but the bound variables are
introduced by a schema declaration.
Yes. This needs to be fixed.
I hope the work-around I posted was useful.
Yes, thanks - I have that working.
Phil
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
