(* *)
(**************************************************************************)
-include "terms/multiplicity.ma".
+include "lambda/terms/multiplicity.ma".
+
+include "lambda/notation/relations/seqred_2.ma".
(* SEQUENTIAL REDUCTION (SINGLE STEP) ***************************************)