X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Ffpbs_csx.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Ffpbs_csx.ma;h=11eb81f6c5e838152c9f0d14b7b683ed710378d5;hb=8ec019202bff90959cf1a7158b309e7f83fa222e;hp=159b57bcb85d391a5fe3b2ad3b5f971530a4c941;hpb=33d0a7a9029859be79b25b5a495e0f30dab11f37;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma
index 159b57bcb..11eb81f6c 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma
@@ -21,8 +21,8 @@ include "basic_2/rt_computation/fpbs_fqup.ma".
 
 (* Basic_2A1: was: csx_fpbs_conf *)
 lemma fpbs_csx_conf:
-      âG1,L1,T1. âªG1,L1â« â¢ â¬*ð T1 â
-      âG2,L2,T2. âªG1,L1,T1â« â¥ âªG2,L2,T2â« â âªG2,L2â« â¢ â¬*ð T2.
+      âG1,L1,T1. â¨G1,L1â© â¢ â¬*ð T1 â
+      âG2,L2,T2. â¨G1,L1,T1â© â¥ â¨G2,L2,T2â© â â¨G2,L2â© â¢ â¬*ð T2.
 #G1 #L1 #T1 #HT1 #G2 #L2 #T2 #H @(fpbs_ind â¦ H) -G2 -L2 -T2
 /2 width=5 by csx_fpb_conf/
 qed-.