update in ground_2 and basic_2 (partial commit)

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / web / ground_2_src.tbl

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 06ff4be72bc290ad957976750c9ef53c66bc2de6..c4ca8f6d26002cd7fb50894c43e15dafb4649fa3 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
@@ -62,8 +62,16 @@ table {
      }
    ]
    class "orange"
-   [ { "generated logical decomposables" * } {
-        [ { "" * } {
+   [ { "generated library" * } {
+        [ { "generalization with equality" * } {
+             [ "insert_eq" * ]
+          }
+        ]
+        [ { "permutation of quantifiers" * } {
+             [ "pull" * ]
+          }
+        ]
+        [ { "logical decomposables" * } {
              [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" * ]
           }
         ]