From 99573d95dbebe2ec3dac5eda7b1dde2fe819ce3f Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 5 Aug 2014 20:55:04 +0000 Subject: [PATCH] bugfix in source table :( --- matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 293ff42c1..147978606 100644 --- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl +++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl @@ -51,7 +51,7 @@ table { } ] [ { "stratified native validity" * } { - [ "hsnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )" "hsnv_aaa" * + [ "hsnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )" "hsnv_aaa" * ] [ "snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] )" "snv_lift" + "snv_aaa" + "snv_da_lpr" + "snv_lstas" + "snv_lstas_lpr" + "snv_lpr" + "snv_cpes" + "snv_preserve" * ] } ] -- 2.39.2