Mv not yet used files to new folder NEW.

_CoqProject

@@ -15,9 +15,9 @@
 ./LM/compatible.v
 ./LM/linear_map.v
 ./LM/hilbert.v
-  ./LM/check_sub_structure.v
+./LM/check_sub_structure.v
 ./LM/continuous_linear_map.v
-  ./LM/hierarchyD.v
+./LM/hierarchyD.v
 ./LM/lax_milgram.v
 ./LM/lax_milgram_cea.v
 ./LM/finitedim.v
@@ -57,16 +57,8 @@
 ./Lebesgue/Subset_system_gen.v
 ./Lebesgue/Subset_system.v
 
-#./Lebesgue/Topology.v
-
-#./Lebesgue/Subset_R.v
-#./Lebesgue/Subset_Rbar.v
-
 ./Lebesgue/sum_Rbar_nonneg.v
 
-#./Lebesgue/measurable.v
-#./Lebesgue/measurable_R.v
-#./Lebesgue/measurable_Rbar.v
 ./Lebesgue/measurable_fun.v
 
 ./Lebesgue/measure.v
@@ -101,10 +93,6 @@
 # Finite-element method.
 #
 
-#./FEM/Compl/Epsilon_instances.v
-#./FEM/Compl/choiceType_from_Epsilon.v
-#./FEM/Compl/Rstruct.v
-
 ./FEM/Compl/logic_compl.v
 ./FEM/Compl/Subset_compl.v
 ./FEM/Compl/Function_compl.v
@@ -134,7 +122,6 @@
 ./FEM/multi_index.v
 ./FEM/poly_Lagrange.v
 ./FEM/P_approx_k.v
-#./FEM/Jacobian.v
 ./FEM/FE.v
 ./FEM/FE_simplex.v
 ./FEM/FE_LagP.v