_CoqProject

-R . triangles
-arg -w
-arg -notation-overridden
triangulation_algorithm.v
Knuth_axiom5.v
fingraph_complements.v
triangles.v
triangles2.v
triangles3.v
to_ccw_system.v