Notation xorb_assoc := xorb_assoc_reverse (only parsing). (* Compatibility *)

Lemma eq_true_not_negb_iff : forall b:bool, b <> true <-> negb b = true.
Notation bool_6 := eq_true_not_negb (only parsing). (* Compatibility *)
#[global]
Hint Resolve eq_true_not_negb : bool.