-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Basics.v" Basics.v Basics.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CC_Props.v" CC_Props.v CC_Props.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CComplex.v" CComplex.v CComplex.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CFields.v" CFields.v CFields.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CGroups.v" CGroups.v CGroups.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CMetricFields.v" CMetricFields.v CMetricFields.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CMonoids.v" CMonoids.v CMonoids.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad COrdFields.v" COrdFields.v COrdFields.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_ApZero.v" CPoly_ApZero.v CPoly_ApZero.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_ApZero1.v" CPoly_ApZero1.v CPoly_ApZero1.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_Contin.v" CPoly_Contin.v CPoly_Contin.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_Contin1.v" CPoly_Contin1.v CPoly_Contin1.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_Degree.v" CPoly_Degree.v CPoly_Degree.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_NthCoeff.v" CPoly_NthCoeff.v CPoly_NthCoeff.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_Rev.v" CPoly_Rev.v CPoly_Rev.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPoly_Shift.v" CPoly_Shift.v CPoly_Shift.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CPolynomials.v" CPolynomials.v CPolynomials.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CReals.v" CReals.v CReals.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CReals1.v" CReals1.v CReals1.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CRings.v" CRings.v CRings.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CSemiGroups.v" CSemiGroups.v CSemiGroups.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CSetoids.v" CSetoids.v CSetoids.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CSums.v" CSums.v CSums.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CSumsReals.v" CSumsReals.v CSumsReals.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad CVectorSpace.v" CVectorSpace.v CVectorSpace.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Convert_CReals.v" Convert_CReals.v Convert_CReals.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Expon.v" Expon.v Expon.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad FTA.v" FTA.v FTA.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad FTAreg.v" FTAreg.v FTAreg.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad FinDimVecSp.v" FinDimVecSp.v FinDimVecSp.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad IVT.v" IVT.v IVT.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad KeyLemma.v" KeyLemma.v KeyLemma.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad KneserLemma.v" KneserLemma.v KneserLemma.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad MainLemma.v" MainLemma.v MainLemma.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Matrices.v" Matrices.v Matrices.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad NRootCC.v" NRootCC.v NRootCC.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad NRootIR.v" NRootIR.v NRootIR.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad OddPolyRootIR.v" OddPolyRootIR.v OddPolyRootIR.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad RRefl_corr.v" RRefl_corr.v RRefl_corr.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad RReflection.v" RReflection.v RReflection.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad RealFuncts.v" RealFuncts.v RealFuncts.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Refl_corr.v" Refl_corr.v Refl_corr.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Reflection.v" Reflection.v Reflection.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Spec_CReals.v" Spec_CReals.v Spec_CReals.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Spec_CReals45.v" Spec_CReals45.v Spec_CReals45.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Step2.v" Step2.v Step2.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad Triangle.v" Triangle.v Triangle.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad TupleCGroups.v" TupleCGroups.v TupleCGroups.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad TupleCSetoids.v" TupleCSetoids.v TupleCSetoids.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad finite.v" finite.v finite.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad listn.v" listn.v listn.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad matrix.v" matrix.v matrix.vo
-custom "coqc -image tactics/coqalgebra.out -I tactics -I milad vectors.v" vectors.v vectors.vo
