fact: Fixpoint Inb (x : A) (l : list A) : bool := match l with | nil => false | cons y l' => match eq_dec x y with | left _ => true | _ => Inb x l' end end.
imports: CoLoR(LogicUtil EqUtil RelUtil BoolUtil NatUtil) Coq(Setoid SetoidList FunInd)