(* *)
(**************************************************************************)
-include "ordered_uniform.ma".
-include "russell_support.ma".
+include "dama/ordered_uniform.ma".
+include "dama/russell_support.ma".
(* Definition 3.5 *)
alias num (instance 0) = "natural number".