On 18 May 2009, at 23:27, Artur Oliveira Gomes wrote:
Rob,
Can you tell me how can I increase the default subgoal limit when
stripping a goal?
In that proof I sent you an example, or me, the complete version
of the proof creates over 34 subgoals, then, ProofPower give me
a warning telling th
On 18 May 2009, at 21:28, Artur Oliveira Gomes wrote:
Hi there,
It doesn't look like parentheses are the problem. It might be a
problem with types or something else that is not visible in the
pretty-printed Z that is stopping the LHS of he assumption matching
the conclusion of the goal.
Hi there,
It doesn't look like parentheses are the problem. It might be a problem
> with types or something else that is not visible in the pretty-printed Z
> that is stopping the LHS of he assumption matching the conclusion of the
> goal. Can you provide an example with definitions of SA etc. th
