(* *)
(**************************************************************************)
-include "terms/sequential_computation.ma".
+include "lambda/terms/sequential_computation.ma".
(* ABSTRACT LABELED SEQUENTIAL COMPUTATION (MULTISTEP) **********************)