X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground_src.tbl;h=be1cfadbb7c489a84dce3e7249015041ff47343c;hb=dd41efaab7f147d5673cc30a27d36375f9b52c9d;hp=a4c2883e4b37347c9e45a639f7cf4089fdbd120e;hpb=742e21da086654af82f308027250d00b50d67f52;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 a4c2883e4..be1cfadbb 100644
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -130,8 +130,13 @@ table {
           [ "stream ( ? ⨮{?} ? )" * ]
         }
       ]
+      [ { "lists" * } {
+          [ "list_append ( ?⨁{?}? )" "list_rcons ( ?⨭{?}? )" * ]
+          [ "list_length ( |?| )" * ]
+          [ "list ( Ⓔ{?} ) ( ? ⨮{?} ? )" "list_eq" * ]
+        }
+      ]
       [ { "" * } {
-          [ "list ( Ⓔ{?} ) ( ? ⨮{?} ? )" "list_eq" "list_length ( |?| )" * ]
           [ "bool ( Ⓕ ) ( Ⓣ )" "bool_or" "bool_and" * ]
           [ "ltc" "ltc_ctc" * ]
           [ "logic ( ⊥ ) ( ⊤ )" "relations ( ? ⊆ ? )" "functions" "exteq ( ? ≐{?,?} ? )" "star" "lstar_2a" * ]