X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2FIntMap%2FFset.mma;h=65bd58e29551e7837502a3df1da2ee88a9782d48;hb=f620bf94af6c347926ed1c2328462efab7018b21;hp=c93674cfd0c332446e777341d768f883074cb9bc;hpb=418b1f26ab67b824c79d1146fdb50ca29b34c1f6;p=helm.git diff --git a/helm/software/matita/contribs/procedural/Coq/IntMap/Fset.mma b/helm/software/matita/contribs/procedural/Coq/IntMap/Fset.mma index c93674cfd..65bd58e29 100644 --- a/helm/software/matita/contribs/procedural/Coq/IntMap/Fset.mma +++ b/helm/software/matita/contribs/procedural/Coq/IntMap/Fset.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 *) -(*