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