include "Insert/fun.ma".
include "Track/defs.ma".
(* Order properties *********************************************************)
include "Insert/fun.ma".
include "Track/defs.ma".
(* Order properties *********************************************************)