update in standard library

[helm.git] / matita / matita / lib / arithmetics / exp.ma

diff --git a/matita/matita/lib/arithmetics/exp.ma b/matita/matita/lib/arithmetics/exp.ma
index 654185c89cb014f498e0bff30a9a0b63b8a4333a..5c7500dd976f5f4e9afcc5e0760c5ba156e9fcb5 100644 (file)
--- a/matita/matita/lib/arithmetics/exp.ma
+++ b/matita/matita/lib/arithmetics/exp.ma
@@ -10,6 +10,7 @@
       V_______________________________________________________________ *)
 
 include "arithmetics/div_and_mod.ma".
+include "basics/core_notation/exp_2.ma".
 
 let rec exp n m on m ≝ 
  match m with 
@@ -182,4 +183,4 @@ qed.
 
   
    
-   
\ No newline at end of file
+