X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Farithmetics%2Flog.ma;h=6c7e159e416c0f4f1bc58bf9b5a3d501f479e7ac;hb=7008128d354c6e998a87bc2febe9f86ea714869c;hp=bbd65be967edac94f57b849d89632f1dca0a6895;hpb=342278d86d2ebb11b046dcc9f44cc5d08cd16352;p=helm.git

diff --git a/matita/matita/lib/arithmetics/log.ma b/matita/matita/lib/arithmetics/log.ma
index bbd65be96..6c7e159e4 100644
--- a/matita/matita/lib/arithmetics/log.ma
+++ b/matita/matita/lib/arithmetics/log.ma
@@ -10,8 +10,8 @@
       V_______________________________________________________________ *)
 
 include "arithmetics/exp.ma".
-include "arithmetics/minimization.ma".
 include "arithmetics/div_and_mod.ma".
+include "arithmetics/minimization.ma".
 
 definition log ≝ λp,n.
   max n (λx.leb (exp p x) n).