update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / arith / ynat_lt.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/arith/ynat_lt.ma b/matita/matita/contribs/lambdadelta/ground/arith/ynat_lt.ma
index a76ccd946a82befad658be803bd70bea315ea11f..e9531df33e6ba4f7725878675d7d060120d2c14f 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/arith/ynat_lt.ma
+++ b/matita/matita/contribs/lambdadelta/ground/arith/ynat_lt.ma
@@ -29,7 +29,7 @@ interpretation
 
 (* Basic destructions *******************************************************)
 
-(* ylt_fwd_gen ylt_inv_Y2 *)
+(*** ylt_fwd_gen ylt_inv_Y2 *)
 lemma ylt_des_gen_sn (x) (y):
       x < y → ∃m. x = yinj_nat m.
 #x #y * -x -y