X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Flibrary%2FZ%2Fz.ma;h=997229763f5fc77f4a62790ffe009bd1d65cd0f0;hb=5a702cea95883f7095c16b450e065ccb1714fc5a;hp=207457a913e4e9c91574cf2e630ea61f3f2feb93;hpb=78044035b4419e569df0d7f6a7f96fa32d21a19d;p=helm.git

diff --git a/helm/matita/library/Z/z.ma b/helm/matita/library/Z/z.ma
index 207457a91..997229763 100644
--- a/helm/matita/library/Z/z.ma
+++ b/helm/matita/library/Z/z.ma
@@ -14,8 +14,8 @@
 
 set "baseuri" "cic:/matita/Z/z".
 
+include "datatypes/bool.ma".
 include "nat/nat.ma".
-include "higher_order_defs/functions.ma".
 
 inductive Z : Set \def
   OZ : Z