dama almost ok

[helm.git] / helm / software / matita / library / dama / models / discrete_uniformity.ma

diff --git a/helm/software/matita/library/dama/models/discrete_uniformity.ma b/helm/software/matita/library/dama/models/discrete_uniformity.ma
index 76461f3f46222f911f4a366a90d8360cfd9ca426..e3ece7df16c12de0ad8507b7c41826c92be6215a 100644 (file)
--- 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);