update in ground_2, static_2, basic_2, apps_2, alpha_1

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / notation / relations / istype_2.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/notation/relations/istype_2.ma b/matita/matita/contribs/lambdadelta/ground_2/notation/relations/istype_2.ma
index 795d811abef84fb2263dfe36f0b695b814cf21d3..04c4927bdbad5f5c749762524188bf2ddd23fc2d 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/notation/relations/istype_2.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/notation/relations/istype_2.ma
@@ -14,6 +14,6 @@
 
 (* GENERAL NOTATION USED BY THE FORMAL SYSTEM λδ ****************************)
 
-notation "hvbox( ð\9d\90\93â¦\83 term 46 n, break term 46 c â¦\84 )"
+notation "hvbox( ð\9d\90\93â\9dª term 46 n, break term 46 c â\9d« )"
    non associative with precedence 45
    for @{ 'IsType $n $c }.