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

Reply via email to