Require Import Coq.Bool.Bool.

Scheme Equality for bool.