update in ground static_2 basic_2 apps_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / notation / relations / predsubtyproper_6.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtyproper_6.ma b/matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtyproper_6.ma
index 7494d345e0d161d5f608f23e0d31aa144ffcb09c..634318e519daee23f50929da969ebb04fd78be08 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtyproper_6.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsubtyproper_6.ma
@@ -14,6 +14,6 @@
 
 (* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
 
-notation "hvbox( â\9dª term 46 G1, break term 46 L1, break term 46 T1 â\9d« â\89» â\9dª break term 46 G2, break term 46 L2, break term 46 T2 â\9d« )"
+notation "hvbox( â\9d¨ term 46 G1, break term 46 L1, break term 46 T1 â\9d© â\89» â\9d¨ break term 46 G2, break term 46 L2, break term 46 T2 â\9d© )"
    non associative with precedence 45
    for @{ 'PRedSubTyProper $G1 $L1 $T1 $G2 $L2 $T2 }.