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 77174d94ba00845e5c198cfc28ecadffa057e2ce..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
@@ -63,10 +63,14 @@ table {
    ]
    class "orange"
    [ { "generated library" * } {
-        [ { "equality insertion" * } {
+        [ { "generalization with equality" * } {
              [ "insert_eq" * ]
           }
         ]
+        [ { "permutation of quantifiers" * } {
+             [ "pull" * ]
+          }
+        ]
         [ { "logical decomposables" * } {
              [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" * ]
           }