renaming

[helm.git] / helm / software / matita / contribs / dama / dama / models / nat_lebesgue.ma

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 fd1d8dbcb26ad14c3c21725702e07a0d3e21f8eb..d5e65215ec43a4bdaa3bc18be7d10acad54555c5 100644 (file)
--- 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                           *)