X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Frussell_support.ma;h=deb5fc950c628fbd01b4982a0f37a3b5db71b4f2;hb=4924f99796029eecb58e920ca7a6a366efe2373e;hp=bcaabd677baaedf5f9a35b93026e572a7a656d11;hpb=7af9d84f465b5f4b609b08ae914681526d12480a;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/russell_support.ma b/helm/software/matita/contribs/dama/dama/russell_support.ma
index bcaabd677..deb5fc950 100644
--- a/helm/software/matita/contribs/dama/dama/russell_support.ma
+++ b/helm/software/matita/contribs/dama/dama/russell_support.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "nat/nat.ma".
-include "cprop_connectives.ma".
+include "logic/cprop_connectives.ma".
 
 definition hide ≝ λT:Type.λx:T.x.