X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frelocation%2Fldrop.ma;h=af0172fdb1e07f6913f4deb9715bf623e97e9522;hb=e5378812c068074f0ac627541d3f066e135c8824;hp=b26b7e95b128caf163d94b776c92f82a106fcc7f;hpb=928cfe1ebf2fbd31731c8851cdec70802596016d;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma b/matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma
index b26b7e95b..af0172fdb 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma
@@ -36,11 +36,11 @@ inductive ldrop (s:bool): relation4 nat nat lenv lenv ≝
 interpretation
    "basic slicing (local environment) abstract"
    'RDrop s d e L1 L2 = (ldrop s d e L1 L2).
-
+(*
 interpretation
    "basic slicing (local environment) general"
    'RDrop d e L1 L2 = (ldrop true d e L1 L2).
-
+*)
 interpretation
    "basic slicing (local environment) lget"
    'RDrop e L1 L2 = (ldrop false O e L1 L2).