COPYRIGHTS

CoLoR, a Coq library on rewriting and termination
-------------------------------------------------

The copyrights on the parts due to Frederic Blanqui, Sebastien
Hinderer, Pierre-Yves Strub and Sidi Ould Biha belong to the "Institut
National de Recherche en Informatique et Automatique"
(http://www.inria.fr/).

The copyrights on the parts due to Adam Koprowski belong to the "Vrije
Universiteit Amsterdam" (http://www.vu.nl/) for HORPO and to the
"Technische Universiteit Eindhoven" (http://w3.tue.nl/) for the other
things.

The copyrights on the parts due to Hans Zantema belong to the
"Technische Universiteit Eindhoven" (http://w3.tue.nl/).

The copyrights on the parts due to Solange Coupet-Grimal and William
Delobel belong to the "Universite de Provence, Aix-Marseille 1"
(http://www.up.univ-mrs.fr/), the "Universite de la Mediterrannee,
Aix-Marseille 2" (http://www.mediterranee.univ-aix.fr/) and the
"Centre National de la Recherche Scientifique" (http://www.cnrs.fr/).

The copyrights on the parts due to Stephane Le Roux belong to the
"Ecole Normale Superieure de Lyon" (http://www.ens-lyon.fr/).

The copyrights on the parts due to Leo Ducas belong to the "Ecole
Normale Superieure de Paris" (http://www.ens.fr/).

The copyrights on the parts due to Johannes Waldmann belong to the
"Hochschule fur Technik, Wirtschaft und Kultur (FH) Leipzig" 
(http://www.htwk-leipzig.de/).

The copyrights on the parts due to Qian Wang and Lianyi Zhang belong
to "Tsinghua University" (http://www.tsinghua.edu.cn/).

The copyrights on the parts due to Sorin Stratulat belong to
"University Paul Verlaine" (http://www.univ-metz.fr/).