X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Funwind%2Funwind2_prototerm.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Funwind%2Funwind2_prototerm.ma;h=e4e480c66757233d8b3e63bf1547c3392a8fee37;hb=61bc42e04598a9f5e489c3867af72e700c7fda04;hp=e0515c7f009e7b3bb5a762673b53a9d1ce629e69;hpb=5c2d38b46908f662cbb717156b29101ff30f8352;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_prototerm.ma b/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_prototerm.ma
index e0515c7f0..e4e480c66 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_prototerm.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_prototerm.ma
@@ -16,7 +16,7 @@ include "delayed_updating/unwind/unwind2_path.ma".
 include "delayed_updating/syntax/prototerm.ma".
 include "ground/lib/subset_ext.ma".
 
-(* UNWIND FOR PROTOTERM *****************************************************)
+(* TAILED UNWIND FOR PROTOTERM **********************************************)
 
 interpretation
   "unwind (prototerm)"