Make

-R . AreaMethod

bench_normalization_tactics.v 
chou_gao_zhang_axioms.v 
basic_geometric_facts.v 
construction_lemmas.v 
construction_tactics.v 
elimination_prepare.v
area_elimination_lemmas.v
area_coords_constructions.v
area_coords_elimination.v 
field_general_properties.v 
field.v 
field_variable_isolation_tactic.v 
freepoints.v 
general_tactics.v 
geometry_tools_lemmas.v 
geometry_tools.v 
my_field_tac.v
parallel_lemmas.v 
Rgeometry_tools.v 
area_method.v 
tests_elimination_tactics_areas.v
tests_elimination_tactics_ratios.v
tests_elimination_tactics_py.v
examples_1.v
examples_2.v 
examples_3.v
examples_4.v
examples_5.v
examples_6.v
examples_interactive.v
examples_circumcenter.v
examples_centroid.v
simplify_constructions.v
constructed_points_elimination.v
free_points_elimination.v
advanced_parallel_lemmas.v
ratios_elimination_lemmas.v
construction_lemmas_2.v
euclidean_constructions.v
euclidean_constructions_2.v
pythagoras_difference.v
pythagoras_difference_lemmas.v
py_elimination_lemmas.v