(* *)
(**************************************************************************)
-include "basic_2/multiple/llpx_sn_ldrop.ma".
+include "basic_2/multiple/llpx_sn_drop.ma".
(* LAZY SN POINTWISE EXTENSION OF A CONTEXT-SENSITIVE REALTION FOR TERMS ****)