(* *)
(**************************************************************************)
-include "ordered_uniform.ma".
-include "property_sigma.ma".
+include "dama/ordered_uniform.ma".
+include "dama/property_sigma.ma".
lemma h_segment_upperbound:
∀C:half_ordered_set.