updating the structures for sorts

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / web / static_2_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl b/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
index fed1803e11a0361df7ae8d7073c39f29896019b8..723104f7b22ade5a49ca37d9121489d4ef59d9a6 100644 (file)
--- a/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
@@ -156,10 +156,14 @@ table {
           }
         ]
         [ { "items" * } {
-             [ [ "" ] "item_sh" * ]
              [ [ "" ] "item" * ]
           }
         ]
+        [ { "sorts" * } {
+             [ [ "degree" ] "sd" "sd_d" + "sd_lt" * ]
+             [ [ "hierarchy" ] "sh" + "( ⫯[?]? )" "sh_props" + "sh_lt" * ]
+          }
+        ]
         [ { "atomic arities" * } {
              [ [ "" ] "aarity" * ]
           }