.ma inclusions corrected/minimized

[helm.git] / helm / matita / library / nat / lt_arith.ma

diff --git a/helm/matita/library/nat/lt_arith.ma b/helm/matita/library/nat/lt_arith.ma
index 85280fe0f2da8aef41e9e030c42428b82d30f7ea..dd4fdcbf98a1e6e5c0667907c4c080c52b0c5696 100644 (file)
--- a/helm/matita/library/nat/lt_arith.ma
+++ b/helm/matita/library/nat/lt_arith.ma
@@ -14,7 +14,6 @@
 
 set "baseuri" "cic:/matita/nat/lt_arith".
 
-include "nat/exp.ma".
 include "nat/div_and_mod.ma".
 
 (* plus *)