C
o
L
o
R
: a
C
o
q
L
ibrary
o
n
R
ewriting and termination
Index