X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdama%2Fmodels%2Fdiscrete_uniformity.ma;h=e3ece7df16c12de0ad8507b7c41826c92be6215a;hb=a88be1ca42c0969dbab9a5c76240f5931df876d9;hp=76461f3f46222f911f4a366a90d8360cfd9ca426;hpb=6fbeff97e37927fd95b3aee3eb23b4309fc465c4;p=helm.git

diff --git a/helm/software/matita/library/dama/models/discrete_uniformity.ma b/helm/software/matita/library/dama/models/discrete_uniformity.ma
index 76461f3f4..e3ece7df1 100644
--- a/helm/software/matita/library/dama/models/discrete_uniformity.ma
+++ b/helm/software/matita/library/dama/models/discrete_uniformity.ma
@@ -12,8 +12,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "uniform.ma".
-include "bishop_set_rewrite.ma".
+include "dama/uniform.ma".
+include "dama/bishop_set_rewrite.ma".
 
 definition discrete_uniform_space_of_bishop_set:bishop_set → uniform_space.
 intro C; apply (mk_uniform_space C);