X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2FReals%2FExp_prop.mma;h=6fccf9653aeedcf4ca009a0d5cc7efd933602669;hb=f620bf94af6c347926ed1c2328462efab7018b21;hp=f1c3212195e9e0b3d6f64ffe8e4770496e7da6ab;hpb=418b1f26ab67b824c79d1146fdb50ca29b34c1f6;p=helm.git diff --git a/helm/software/matita/contribs/procedural/Coq/Reals/Exp_prop.mma b/helm/software/matita/contribs/procedural/Coq/Reals/Exp_prop.mma index f1c321219..6fccf9653 100644 --- a/helm/software/matita/contribs/procedural/Coq/Reals/Exp_prop.mma +++ b/helm/software/matita/contribs/procedural/Coq/Reals/Exp_prop.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 *) -(*