X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Flambda%2Fsubterms%2Fbooleanized.ma;fp=matita%2Fmatita%2Fcontribs%2Flambda%2Fsubterms%2Fbooleanized.ma;h=b3258d224544754e69bba9d770f0a332000ebeb2;hb=ecf5a379cf6b646426f296c9a33d4ee0e5b2d04a;hp=87b84b26bb108cf6b99132b14a78e44b2de4e97d;hpb=e47584d3cc500acd8ffb533810daabd3b2ff8300;p=helm.git

diff --git a/matita/matita/contribs/lambda/subterms/booleanized.ma b/matita/matita/contribs/lambda/subterms/booleanized.ma
index 87b84b26b..b3258d224 100644
--- a/matita/matita/contribs/lambda/subterms/booleanized.ma
+++ b/matita/matita/contribs/lambda/subterms/booleanized.ma
@@ -12,15 +12,14 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "subterms/carrier.ma".
 include "subterms/boolean.ma".
 
-(* BOOLEANIZED SUBSET (EMPTY OR FULL)  **************************************)
+(* BOOLEANIZED SUBSET (EMPTY OR FULL) ***************************************)
 
 definition booleanized: bool → subterms → subterms ≝
    λb,F. {b}⇑⇓F.
 
-interpretation "make boolean (subterms)"
+interpretation "booleanized (subterms)"
    'ProjectSame b F = (booleanized b F).
 
 notation "hvbox( { term 46 b } ⇕ break term 46 F)"