fact: Definition solved (p : problem) := match p with | None | Some (_, nil) => true | _ => false end.
imports: Coq(Relations Wellfounded) CoLoR(ASubstitution ATerm EqUtil ListUtil LogicUtil VecUtil AVariables BoolUtil NatUtil SN AVariables Lexico)