X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdama%2Fmodels%2Fnat_uniform.ma;h=691d15dd80a584296fcf8f0029ef445ecf6e6785;hb=7288b45eacf9f7dcd118b3b89b81ff19ae9d6ce5;hp=0b2d4356321fa873044e3db09348b70873535763;hpb=6fbeff97e37927fd95b3aee3eb23b4309fc465c4;p=helm.git

diff --git a/helm/software/matita/library/dama/models/nat_uniform.ma b/helm/software/matita/library/dama/models/nat_uniform.ma
index 0b2d43563..691d15dd8 100644
--- a/helm/software/matita/library/dama/models/nat_uniform.ma
+++ b/helm/software/matita/library/dama/models/nat_uniform.ma
@@ -12,11 +12,11 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "nat_ordered_set.ma".
-include "models/discrete_uniformity.ma".
+include "dama/nat_ordered_set.ma".
+include "dama/models/discrete_uniformity.ma".
 
 definition nat_uniform_space: uniform_space.
 apply (discrete_uniform_space_of_bishop_set ℕ);
 qed.
 
-interpretation "Uniform space N" 'N = nat_uniform_space.
\ No newline at end of file
+interpretation "Uniform space N" 'N = nat_uniform_space.