"bool.ma" is now always included before "logic.ma", in order to speed up

[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 551bfcf8a4333854e8af5ef99a7acca21ab2ae1e..4ae6dd2c41e636921d45a8b040432baeb7c0237c 100644 (file)
--- a/helm/matita/library/Z/compare.ma
+++ b/helm/matita/library/Z/compare.ma
@@ -14,10 +14,10 @@
 
 set "baseuri" "cic:/matita/Z/compare".
 
-include "Z/orders.ma".
-include "nat/compare.ma".
 include "datatypes/bool.ma".
 include "datatypes/compare.ma".
+include "Z/orders.ma".
+include "nat/compare.ma".
 
 (* boolean equality *)
 definition eqZb : Z \to Z \to bool \def