update in ground, basic_2A and apps_2

[helm.git] / matita / matita / contribs / lambdadelta / apps_2 / models / tm.ma

diff --git a/matita/matita/contribs/lambdadelta/apps_2/models/tm.ma b/matita/matita/contribs/lambdadelta/apps_2/models/tm.ma
index 96a98fc75cd7c905ae3730ff34d5b591f86991c9..f56ff538b764d322ec4431861f59e14c98b76e08 100644 (file)
--- a/matita/matita/contribs/lambdadelta/apps_2/models/tm.ma
+++ b/matita/matita/contribs/lambdadelta/apps_2/models/tm.ma
@@ -28,7 +28,7 @@ definition tm_co (p) (V) (T) ≝ ⓓ[p]V.(↑[1]T).
 
 definition tm_ap (V) (T) ≝ ⓐV.T.
 
-definition tm_ti (gv) (lv) (T) â\89\9d â\97\8f[gv,lv]T.
+definition tm_ti (gv) (lv) (T) â\89\9d â\96 [gv,lv]T.
 
 definition TM (h): model ≝ mk_model … .
 [ @tm_dd