X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground_src.tbl;h=d710f3addfc4e14d645fb88ffbbb5abbb06597ba;hb=8bbe582d87984526f40182c4409cbfd43108cb79;hp=3646ed0eea6816d4f073c293fd48daadd479ef1e;hpb=b367de0252e88d6b0476648d5ceac7e4aeffca27;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index 3646ed0ee..d710f3add 100644
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -47,10 +47,10 @@ table {
           [ "gr_basic ( 𝐛❨?,?❩ )" * ]
           [ "gr_uni ( 𝐮❨?❩ )" "gr_uni_eq" * ]
           [ "gr_id ( 𝐢 ) " "gr_id_eq" * ]
-          [ "gr_tls ( ⫱*[?]? )" "gr_tls_eq" "gr_tls_pushs" "gr_tls_pushs_eq" "gr_tls_nexts_eq" * ]
+          [ "gr_tls ( â«°*[?]? )" "gr_tls_eq" "gr_tls_pushs" "gr_tls_pushs_eq" "gr_tls_nexts_eq" * ]
           [ "gr_nexts ( ↑*[?]? )" "gr_nexts_eq" * ]
           [ "gr_pushs ( ⫯*[?]? )" "gr_pushs_eq" * ]
-          [ "gr_tl ( ⫱? )" "gr_tl_eq" "gr_tl_eq_eq" * ]
+          [ "gr_tl ( â«°? )" "gr_tl_eq" "gr_tl_eq_eq" * ]
           [ "gr_eq ( ? ≡ ? )" * ]
           [ "gr_map ( ⫯? ) ( ↑? )" * ]
         }
@@ -118,8 +118,8 @@ table {
   class "yellow"
   [ { "extensions to the library" * } {
       [ { "streams" * } {
-          [ "stream_tls ( â«°*{?}[?]? )" "stream_tls_eq" * ]
-          [ "stream_hdtl ( â«°{?}? )" * ]
+          [ "stream_tls ( ⇂*{?}[?]? )" "stream_tls_eq" * ]
+          [ "stream_hdtl ( ⇃{?}? ) ( ⇂{?}? )" * ]
           [ "stream_eq ( ? ≗{?} ? )" "stream_eq_eq" * ]
           [ "stream ( ? ⨮{?} ? )" * ]
         }