X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2FNArith%2FNArith.mma;h=0f4e3a2d5fd7c27833263288dae6465339d5072d;hb=5ede839a0cf3339568202750b4aae85ccc63fcb0;hp=2c1f7521962609858a6358707cf4376f7c4030dc;hpb=29714797b01e0ac8c22e4df2827b1785a759f482;p=helm.git diff --git a/helm/software/matita/contribs/procedural/Coq/NArith/NArith.mma b/helm/software/matita/contribs/procedural/Coq/NArith/NArith.mma index 2c1f75219..0f4e3a2d5 100644 --- a/helm/software/matita/contribs/procedural/Coq/NArith/NArith.mma +++ b/helm/software/matita/contribs/procedural/Coq/NArith/NArith.mma @@ -16,21 +16,21 @@ include "Coq.ma". -(*#**********************************************************************) +(*#***********************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) +(* v * The Coq Proof Assistant / The Coq Development Team *) -(*