X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Fstatic%2Fssta_ltpss_sn.ma;h=342a839d52957c6fbf76868bf3d0739447548bf7;hb=23c056d7fb7269f952a02aad1cac8e400d2653b0;hp=e8bff44cde005dd2720173af4b6a314e5006996b;hpb=8b1bc0a74dbc6c5854cbce31240ae829dfe7e8bf;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/static/ssta_ltpss_sn.ma b/matita/matita/contribs/lambda_delta/basic_2/static/ssta_ltpss_sn.ma
index e8bff44cd..342a839d5 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/static/ssta_ltpss_sn.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/static/ssta_ltpss_sn.ma
@@ -15,7 +15,7 @@
 include "basic_2/unfold/ltpss_sn_alt.ma".
 include "basic_2/static/ssta_ltpss_dx.ma".
 
-(* ATONIC ARITY ASSIGNMENT ON TERMS *****************************************)
+(* STRATIFIED STATIC TYPE ASSIGNMENT ON TERMS *******************************)
 
 (* Properties about sn parallel unfold **************************************)