Sets/Relations_2.ma Sets/Relations_2.mma
Reals/RList.ma Reals/RList.mma
Arith/Max.mma Arith/Arith.ma Coq.ma
-preamble.ma coq.ma
+preamble.ma
ZArith/Zorder.ma ZArith/Zorder.mma
Sets/Image.ma Sets/Image.mma
NArith/BinPos.ma NArith/BinPos.mma
ZArith/Zcomplements.mma Arith/Wf_nat.ma Coq.ma Lists/List.ma ZArith/ZArith_base.ma
Logic/Classical_Pred_Type.ma Logic/Classical_Pred_Type.mma
Reals/Rtrigo_alt.mma Coq.ma Reals/Rbase.ma Reals/Rfunctions.ma Reals/Rtrigo_def.ma Reals/SeqSeries.ma
-coq.ma