.ma inclusions corrected/minimized

[helm.git] / helm / matita / library / Z / compare.ma

diff --git a/helm/matita/library/Z/compare.ma b/helm/matita/library/Z/compare.ma
index a8f8aca3918f12c1a7a60fb475338a81da32dfbe..3b259b4f664b0b19d1d8ec646596600e135e693e 100644 (file)
--- a/helm/matita/library/Z/compare.ma
+++ b/helm/matita/library/Z/compare.ma
@@ -14,8 +14,6 @@
 
 set "baseuri" "cic:/matita/Z/compare".
 
-include "datatypes/bool.ma".
-include "datatypes/compare.ma".
 include "Z/orders.ma".
 include "nat/compare.ma".