(* *)
(**************************************************************************)
+include "arithmetics/nat.ma".
+include "ground_2/xoa/ex_3_1.ma".
+include "ground_2/xoa/or_3.ma".
include "ground_2/notation/functions/uparrow_1.ma".
include "ground_2/notation/functions/downarrow_1.ma".
-include "arithmetics/nat.ma".
include "ground_2/pull/pull_2.ma".
include "ground_2/lib/relations.ma".