some renaming and some typos corrected ...

[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 7ff91fa2db329b9e2a100309e6639f40bbb35029..f95fc0600101411cea3116a4aa7574afde7db4d2 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
@@ -47,7 +47,7 @@ table {
         ]
 *)
         [ { "local env. ref. for stratified native validity" * } {
-             [ "lsubsv ( ? ⊢ ? ¡⫃[?,?] ? )" "lsubsv_lsuba" + "lsubsv_lsubd" + "lsubsv_lstas" + "lsubsv_cpds" + "lsubsv_cpcs" + "lsubsv_snv" * ]
+             [ "lsubsv ( ? ⊢ ? ⫃¡[?,?] ? )" "lsubsv_lsuba" + "lsubsv_lsubd" + "lsubsv_lstas" + "lsubsv_cpds" + "lsubsv_cpcs" + "lsubsv_snv" * ]
           }
         ]
         [ { "stratified native validity" * } {
@@ -185,7 +185,7 @@ table {
    class "grass"
    [ { "static typing" * } {
         [ { "local env. ref. for degree assignment" * } {
-             [ "lsubd ( ? â\8a¢ ? â\96ªâ«\83 ? )" "lsubd_da" + "lsubd_lsubd" * ]
+             [ "lsubd ( ? â\8a¢ ? â«\83â\96ª[?,?] ? )" "lsubd_da" + "lsubd_lsubd" * ]
           }
         ]
         [ { "degree assignment" * } {
@@ -201,7 +201,7 @@ table {
           }
         ]
         [ { "local env. ref. for atomic arity assignment" * } {
-             [ "lsuba ( ? â\8a¢ ? â\81\9dâ«\83 ? )" "lsuba_aaa" + "lsuba_lsuba" * ]
+             [ "lsuba ( ? â\8a¢ ? â«\83â\81\9d ? )" "lsuba_aaa" + "lsuba_lsuba" * ]
           }
         ]
         [ { "atomic arity assignment" * } {
@@ -273,7 +273,7 @@ table {
           }
         ]
         [ { "local env. ref. for extended substitution" * } {
-             [ "lsuby ( ? â\8a\91Ã\97[?,?] ? )" "lsuby_lsuby" * ]
+             [ "lsuby ( ? â\8a\86[?,?] ? )" "lsuby_lsuby" * ]
           }
         ]
         [ { "pointwise extension of a relation" * } {