Mark,
On 8 Jan 2014, at 03:22, Mark Adams wrote:
> Not wanting to be too picky here (because I very much agree with the thrust
> of what Rob is saying), but isn't ProofPower term quotation parsing
> sensitive to the subgoal package state (specifically, free variables in term
> quotations pick up
Ah yes, point taken.
on 8/1/14 10:13 AM, Rob Arthan wrote:
> Mark,
>
> On 8 Jan 2014, at 03:22, Mark Adams wrote:
>
>> Not wanting to be too picky here (because I very much agree with the
> thrust
>> of what Rob is saying), but isn't ProofPower term quotation parsing
>> sensitive to the subgoal