(* *)
(**************************************************************************)
-include "paths/trace.ma".
+include "lambda/paths/trace.ma".
+include "basics/core_notation/card_1.ma".
(* DECOMPOSED TRACE *********************************************************)