X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBasic-2%2Fdrop1%2Fprops.mma;h=f4f2204accde5fedec118d5ac9d00859b5473def;hb=73a66cce6e72c654fdcd0ce760c405a74af70d08;hp=18a856e8a83c1bcc36331f4e4e3de9974e4a4511;hpb=de77f79d60ee3c1d30fe03469172950b557441f3;p=helm.git diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/props.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/props.mma index 18a856e8a..f4f2204ac 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/props.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/props.mma @@ -20,5 +20,5 @@ include "Basic-2/drop/props.ma". include "Basic-2/getl/defs.ma". -inline procedural "Basic-1/drop1/props.ma". +inline "Basic-1/drop1/props.ma" procedural.