CoLoR : a Coq Library on Rewriting and termination


Index