On 31/07/11 16:33, Rob Arthan wrote:
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.
Proofpower mailing list