X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Fsyntax%2Fbdd_term.ma;h=9cfe28ad9dc81a650ab98325739f00674f75af20;hb=aeec9312d6f72526a460518a1e889eac71657cdd;hp=8d514e0d7f2a1fe8ff3438166b9aed1388d93d9c;hpb=e0c91d8a4422da0b39aca790e5826dc8a617b303;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/bdd_term.ma b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/bdd_term.ma
index 8d514e0d7..9cfe28ad9 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/bdd_term.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/bdd_term.ma
@@ -35,7 +35,7 @@ interpretation
   "by-depth delayed (prototerm)"
   'ClassDPhi = (bdd).
 
-(*
+(* COMMENT
 
 (* Basic inversions *********************************************************)
 
@@ -213,4 +213,4 @@ lemma bbd_mono_in_root_d:
   ]
 ]
 qed-.
-*)
\ No newline at end of file
+*)