- probe: critical bug fixed (all objects were deleted due to wrong test)

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / etc / lsubr / lsubr.etc

diff --git a/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc b/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc
index 93c31e5afcad1efc2c5f7a59ec7f7d1727eb519b..c41ab19f5303574000ca6d78f6daa4eb2eaaee57 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc
+++ b/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc
@@ -12,9 +12,9 @@
 (*                                                                        *)
 (**************************************************************************)
 
-notation "hvbox( L1 ⊑ break term 46 L2 )"
+notation "hvbox( L1 â\93\9d â\8a\91 break term 46 L2 )"
    non associative with precedence 45
-   for @{ 'CrSubEq $L1 $L2 }.
+   for @{ 'LRSubEqT $L1 $L2 }.
 
 include "basic_2/relocation/ldrop.ma".