X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fweb%2Fground_2_src.tbl;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Fweb%2Fground_2_src.tbl;h=a7da5c2d03c62d1ac93194cfddc53dcc5a09429c;hb=54c4e854515cbcb1376881e9aedad006bf6545f2;hp=090a6716424aacfe5d07eb72d836a452b8f33889;hpb=397413c4196f84c81d61ba7dd79b54ab1c428ebb;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl b/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
index 090a67164..a7da5c2d0 100644
--- a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
@@ -55,7 +55,7 @@ table {
              [ "stream ( ? @ ? )" "stream_eq ( ? ≗ ? )" "stream_hdtl ( ⫰? )" "stream_tls ( ⫰*[?]? )" * ]
              [ "list ( ◊ ) ( ? @ ? ) ( |?| )" "list2 ( ◊ ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| )" * ]
              [ "bool ( Ⓕ ) ( Ⓣ )" "arith ( ?^? ) ( ↑? ) ( ↓? ) ( ? ∨ ? ) ( ? ∧ ? )" * ]
-             [ "relations ( ? ⊆ ? )" "star" "lstar" * ]
+             [ "logic ( ⊥ ) ( ⊤ )" "relations ( ? ⊆ ? )" "functions" "star" "ltc" * ]
           }
         ]
      }
@@ -63,7 +63,7 @@ table {
    class "orange"
    [ { "generated logical decomposables" * } {
         [ { "" * } {
-             [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" "xoa_props ( ⊥ ) ( ⊤ )" * ]
+             [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" * ]
           }
         ]
      }