update in ground, static_2 and apps_2

[helm.git] / matita / matita / contribs / lambdadelta / ground / notation / relations / epsilon_3.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/notation/relations/epsilon_3.ma b/matita/matita/contribs/lambdadelta/ground/notation/relations/epsilon_3.ma
index 2f5287d6bac02c0d932a6e13a7fc43938eca78a2..97639a36c6761a0ba0b5ef814b7f0b4a62a79831 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/notation/relations/epsilon_3.ma
+++ b/matita/matita/contribs/lambdadelta/ground/notation/relations/epsilon_3.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(* NOTATION FOR DELAYED UPDATING ********************************************)
-
 (* GROUND NOTATION **********************************************************)
 
 notation < "hvbox( a ϵ break term 46 u )"