fact: Fixpoint prefix (l l' : list A) : Prop := match l with | nil => True | x::l => match l' with | nil => False | y::l' => x=y /\ prefix l l' end end.
imports: Coq(PeanoNat) CoLoR(ListUtil ListNodup LogicUtil RelMidex)