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