It works fine for me. What goes wrong?
On 27 Mar 2011, at 11:50, Roger Bishop Jones wrote:
> I have used today (possibly for the first time) the not a
> member of symbol in ProofPower HOL and find that it causes an
> error in pdflatex.
> The definition in ProofPower.sty is:
> which doesn't work (not in my environment), but:
> works fine.
> Roger Jones
> Proofpower mailing list
Proofpower mailing list