X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2Fdepends;h=4bca3ab2833a7744fffaf7380e0613653af831d9;hb=5ede839a0cf3339568202750b4aae85ccc63fcb0;hp=93dcd84fec668b31f5cfb9bb65db225033941bba;hpb=0b76904a3f10bfd6390d26172fd6979626bd72f4;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/Coq/depends b/helm/software/matita/contribs/procedural/Coq/depends
index 93dcd84fe..4bca3ab28 100644
--- a/helm/software/matita/contribs/procedural/Coq/depends
+++ b/helm/software/matita/contribs/procedural/Coq/depends
@@ -222,7 +222,7 @@ Reals/SplitRmult.mma Coq.ma Reals/Rbase.ma
 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
@@ -392,4 +392,3 @@ Wellfounded/Wellfounded.mma Coq.ma Wellfounded/Disjoint_Union.ma Wellfounded/Inc
 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