Notation xorb_false := xorb_false_r (only parsing).Notation false_xorb := xorb_false_l (only parsing).

(* Specifications: *)
Lemma xorb_true_r : forall b:bool, xorb b true = negb b.
Lemma xorb_true_l : forall b:bool, xorb true b = negb b.