Added a new contrib div_and_mod and few modifs here and there.

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

diff --git a/helm/matita/library/nat/orders.ma b/helm/matita/library/nat/orders.ma
index 1939b3c13764e4c9937dbe5af73a3bd09abb0dc2..b8e92fa2b6987f34cfecbf81841bee405d10ca0a 100644 (file)
--- a/helm/matita/library/nat/orders.ma
+++ b/helm/matita/library/nat/orders.ma
@@ -14,9 +14,6 @@
 
 set "baseuri" "cic:/matita/nat/orders".
 
-include "logic/connectives.ma".
-include "logic/equality.ma".
-include "nat/nat.ma".
 include "nat/plus.ma".
 include "higher_order_defs/ordering.ma".