- first results on cpx (dericed from those on cpg)

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
index a871f92bc6a11d240f2f6404043780b9773c36a8..a5aeb85db0691b032c2b7bb18a86132720ae0a44 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
@@ -148,6 +148,10 @@ table {
           }
         ]
 *)
+        [ { "uncounted context-sensitive rt-transition" * } {
+             [ "cpx ( ⦃?,?⦄ ⊢ ? ➡[?] ? )" "cpx_simple" + "cpx_drops" + "cpx_lsubr" * ]
+          }
+        ]
         [ { "counted context-sensitive rt-transition" * } {
              [ "cpg ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )" "cpg_simple" + "cpg_drops" + "cpg_lsubr" * ]
           }