update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / web / ground_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index ece01e73c0a1703d561faf0499892e282a122f36..d710f3addfc4e14d645fb88ffbbb5abbb06597ba 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -118,8 +118,8 @@ table {
   class "yellow"
   [ { "extensions to the library" * } {
       [ { "streams" * } {
-          [ "stream_tls ( â\87£*{?}[?]? )" "stream_tls_eq" * ]
-          [ "stream_hdtl ( â\87£{?}? )" * ]
+          [ "stream_tls ( â\87\82*{?}[?]? )" "stream_tls_eq" * ]
+          [ "stream_hdtl ( â\87\83{?}? ) ( â\87\82{?}? )" * ]
           [ "stream_eq ( ? ≗{?} ? )" "stream_eq_eq" * ]
           [ "stream ( ? ⨮{?} ? )" * ]
         }