_CoqProject

-R . hanoi
-arg -w -arg -notation-overridden

extra.v
gdist.v
ghanoi.v
ghanoi3.v
ghanoi4.v
lhanoi3.v
rhanoi3.v
triangular.v
phi.v
psi.v
rhanoi4.v
star.v
shanoi.v
shanoi4.v