X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Fmodels%2Fnat_lebesgue.ma;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Fmodels%2Fnat_lebesgue.ma;h=d5e65215ec43a4bdaa3bc18be7d10acad54555c5;hb=a6f88a0acfcb5c5284b7b3781e313cc0f76bb76d;hp=fd1d8dbcb26ad14c3c21725702e07a0d3e21f8eb;hpb=ddc91018331d65f4c43b7c051c6fd07b614ea46b;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma b/helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma
index fd1d8dbcb..d5e65215e 100644
--- a/helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma
+++ b/helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma
@@ -1,4 +1,4 @@
-(**************************************************************************)
+  (**************************************************************************)
 (*       ___                                                              *)
 (*      ||M||                                                             *)
 (*      ||A||       A project by Andrea Asperti                           *)