Library CoLoR.Util.List.ListShrink

CoLoR, a Coq library on rewriting and termination. See the COPYRIGHTS and LICENSE files.
  • Stephane Le Roux, 2006-10-17
prefix, suffix, cut, elimination