X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Facp_aaa.ma;h=13d69acd47b067ccfa9ee917b75b874c3bbc61d9;hb=dec157aae89a4c1830f18eeb0b4152c8c5162ca7;hp=e508aac3101ec992db96f9ec10adb30943e59964;hpb=9ffbf46176fb5f81768255992e46e69689663d69;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma
index e508aac31..13d69acd4 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma
@@ -20,7 +20,7 @@ include "basic_2/computation/lsubc_ldrops.ma".
 
 (* ABSTRACT COMPUTATION PROPERTIES ******************************************)
 
-(* Main propertis ***********************************************************)
+(* Main properties **********************************************************)
 
 (* Basic_1: was: sc3_arity_csubc *)
 theorem aacr_aaa_csubc_lifts: ∀RR,RS,RP.