X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Farithmetics%2Fmin_max.ma;h=38f7b4f1a563cc60f49f4ffebeaa0fe51bc25a22;hb=79b20b5845577c9359b9a4218f8eedd2a322e416;hp=3b93593b65701490e0fd34d6ac33f995b9b0d3e4;hpb=ea368a02a071bb99eeb84bf24ab4000acb314d60;p=helm.git

diff --git a/weblib/arithmetics/min_max.ma b/weblib/arithmetics/min_max.ma
index 3b93593b6..38f7b4f1a 100644
--- a/weblib/arithmetics/min_max.ma
+++ b/weblib/arithmetics/min_max.ma
@@ -57,4 +57,4 @@ qed.
   ]
 qed.
 
- 
+ 
\ No newline at end of file