On 17 Oct 2012, at 07:21, Roger Bishop Jones wrote: > The binding display for your witness uses "=" but should use > "=^" (equal with hat).
As an aside, you can now also use "==" like the Z standard. This is a bit easier to find on the keyboard when you are in a hurry doing a proof. Regards, Rob.
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com