(* *)
(**************************************************************************)
-include "lambda/rc_hsat.ma".
-
+include "pts_dummy/rc_hsat.ma".
+(*
(* THE EVALUATION *************************************************************)
(* The arity of a term t in an environment E *)
(a :: l1) @ l2 = a :: (l1 @ l2).
// qed.
*)
+