(* *)
(**************************************************************************)
-include "models/nat_uniform.ma".
-include "bishop_set_rewrite.ma".
-include "ordered_uniform.ma".
+include "dama/models/nat_uniform.ma".
+include "dama/bishop_set_rewrite.ma".
+include "dama/ordered_uniform.ma".
definition nat_ordered_uniform_space:ordered_uniform_space.
apply (mk_ordered_uniform_space (mk_ordered_uniform_space_ ℕ ℕ (refl_eq ? ℕ)));