-R . coqart86 
./tutorial_type_classes/SRC/Power_mono.v
./tutorial_type_classes/SRC/Mat.v
./tutorial_type_classes/SRC/EMonoid.v
./tutorial_type_classes/SRC/Trace_Monoid.v
./tutorial_type_classes/SRC/Monoid_op_classes.v
./tutorial_type_classes/SRC/Lost_in_NY.v
./tutorial_type_classes/SRC/Monoid_prog.v
./tutorial_type_classes/SRC/Monoid.v
./ch13_co_inductive_types/SRC/LMap.v
./ch13_co_inductive_types/SRC/finite_or_infinite.v
./ch13_co_inductive_types/SRC/Llist_to_list.v
./ch13_co_inductive_types/SRC/DamienPous_alt.v
./ch13_co_inductive_types/SRC/bug_infinite.v
./ch13_co_inductive_types/SRC/graft_absorb.v
./ch13_co_inductive_types/SRC/building.v
./ch13_co_inductive_types/SRC/LTree_bisimilar.v
./ch13_co_inductive_types/SRC/Tree_Inf.v
./ch13_co_inductive_types/SRC/Ltree.v
./ch13_co_inductive_types/SRC/infinite_impred.v
./ch13_co_inductive_types/SRC/infinite_impred_prelude.v
./ch13_co_inductive_types/SRC/chap13.v
./ch13_co_inductive_types/SRC/list_inject.v
./ch13_co_inductive_types/SRC/graft.v
./ch13_co_inductive_types/SRC/finiteness_needed.v
./ch14_fundations_of_inductive_types/SRC/plus_with_natrec.v
./ch14_fundations_of_inductive_types/SRC/list_ltree_ind2.v
./ch14_fundations_of_inductive_types/SRC/update_eq.v
./ch14_fundations_of_inductive_types/SRC/triangular.v
./ch14_fundations_of_inductive_types/SRC/triangular_dep.v
./ch14_fundations_of_inductive_types/SRC/factor.v
./ch14_fundations_of_inductive_types/SRC/ltree_to_ntree.v
./ch14_fundations_of_inductive_types/SRC/use_le_ind_max.v
./ch14_fundations_of_inductive_types/SRC/ltree_count.v
./ch14_fundations_of_inductive_types/SRC/chap14.v
./ch2_types_expressions/SRC/Zbtree.v
./ch2_types_expressions/SRC/bin_nums.v
./ch2_types_expressions/SRC/btree.v
./ch2_types_expressions/SRC/sol1.v
./ch2_types_expressions/SRC/ex1.v
./ch8_inductive_predicates/SRC/le_prime.v
./ch8_inductive_predicates/SRC/Hoare_sequence.v
./ch8_inductive_predicates/SRC/JM_assoc.v
./ch8_inductive_predicates/SRC/parsing.v
./ch8_inductive_predicates/SRC/lt_le.v
./ch8_inductive_predicates/SRC/weird_induc2.v
./ch8_inductive_predicates/SRC/chap8.v
./ch8_inductive_predicates/SRC/even.v
./ch8_inductive_predicates/SRC/perms2.v
./ch8_inductive_predicates/SRC/le_diff.v
./ch8_inductive_predicates/SRC/last.v
./ch8_inductive_predicates/SRC/infinite_loop.v
./ch8_inductive_predicates/SRC/Hoare_while_rule_bis.v
./ch8_inductive_predicates/SRC/perms.v
./ch8_inductive_predicates/SRC/JMeqSolution.v
./ch8_inductive_predicates/SRC/id_solution.v
./ch8_inductive_predicates/SRC/magaud.v
./ch8_inductive_predicates/SRC/frobenius.v
./ch8_inductive_predicates/SRC/le_impred.v
./ch8_inductive_predicates/SRC/impredicative.v
./ch8_inductive_predicates/SRC/palindrome.v
./ch8_inductive_predicates/SRC/non_inductive_sorted.v
./ch8_inductive_predicates/SRC/weird_induc.v
./new_exercises/SRC/Partial.v
./new_exercises/SRC/notwf.v
./new_exercises/SRC/G4.v
./new_exercises/SRC/permutation.v
./new_exercises/SRC/buildingZ.v
./new_exercises/SRC/union_not_wf.v
./new_exercises/SRC/Upairs.v
./new_exercises/SRC/evenproof.v
./new_exercises/SRC/mergesort.v
./ch10_extraction_and_imperative_programs/SRC/chap10.v
./ch4_dependent_product/SRC/all_perm.v
./ch4_dependent_product/SRC/thrice.v
./ch4_dependent_product/SRC/polyminimal.v
./ch4_dependent_product/SRC/chap4.v
./ch4_dependent_product/SRC/polymorph.v
./ch3_propositions_proofs/SRC/cut_example.v
./ch3_propositions_proofs/SRC/simple_proofs.v
./ch3_propositions_proofs/SRC/chap3.v
./ch7_tactics_automation/SRC/le_lt_S_eq.v
./ch7_tactics_automation/SRC/chap7.v
./ch7_tactics_automation/SRC/primes_hyps.v
./ch7_tactics_automation/SRC/Zpos_x_tac.v
./ch9_function_specification/SRC/fib_positive.v
./ch9_function_specification/SRC/div2tofib_ind.v
./ch9_function_specification/SRC/compare_spec.v
./ch9_function_specification/SRC/even_odd.v
./ch9_function_specification/SRC/moreperms.v
./ch9_function_specification/SRC/extract.v
./ch9_function_specification/SRC/plusss.v
./ch9_function_specification/SRC/exo_eqdec.v
./ch9_function_specification/SRC/fib_tail.v
./ch9_function_specification/SRC/chap9.v
./ch9_function_specification/SRC/plus_prim.v
./ch9_function_specification/SRC/mod2.v
./ch9_function_specification/SRC/fib_intro.v
./ch9_function_specification/SRC/div2_mod2.v
./ch9_function_specification/SRC/div3.v
./ch9_function_specification/SRC/sqrt.v
./ch9_function_specification/SRC/fib_ind.v
./ch1_overview/SRC/chap1.v
./tutorial_inductive_co_inductive_types/SRC/RecTutorial.v
./ch16_proof_by_reflection/SRC/chap16.v
./ch16_proof_by_reflection/SRC/neutral.v
./ch16_proof_by_reflection/SRC/verif_divide.v
./ch16_proof_by_reflection/SRC/prime_sqrt.v
COQDOCFLAGS = "-interpolate -utf8 --latex --html"
