_CoqProject

-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths

-R . lemonde
allumette.v
chapeau.v
corde.v
cube.v
grille.v
nombre.v
palindrome.v
parking.v
terre.v
verre.v