X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2FInit%2FPeano.mma;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2FInit%2FPeano.mma;h=447cb3724f00fb68b132cd1667970829d7c4cbdc;hb=f620bf94af6c347926ed1c2328462efab7018b21;hp=f23ce2532f2809f7eb95cc83753f5de3a69964d5;hpb=418b1f26ab67b824c79d1146fdb50ca29b34c1f6;p=helm.git diff --git a/helm/software/matita/contribs/procedural/Coq/Init/Peano.mma b/helm/software/matita/contribs/procedural/Coq/Init/Peano.mma index f23ce2532..447cb3724 100644 --- a/helm/software/matita/contribs/procedural/Coq/Init/Peano.mma +++ b/helm/software/matita/contribs/procedural/Coq/Init/Peano.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 *) -(*