]> matita.cs.unibo.it Git - helm.git/commit
update in ground_2, static_2, basic_2
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 19 Sep 2018 18:31:44 +0000 (20:31 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 19 Sep 2018 18:31:44 +0000 (20:31 +0200)
commit945b096d007f70e8336847f07b174c48f26467e0
treeda789e9d334f3f41726f735eb8e8decc5d3d379e
parent0d1dc967bc12041b9d23ee945db9dd91335e8c1d
update in ground_2, static_2, basic_2

+ confluence for restricted rt_transition under hyps
+ positive terms wrt the system of reference parked
13 files changed:
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_conf.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdpos.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_conf.ma
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdeq.ma
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdpos.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_preserve.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_cpm_tdeq1_conf.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_cpms_tdeq.etc [deleted file]
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_1_props.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/static_2/notation/relations/positive_3.ma [deleted file]
matita/matita/contribs/lambdadelta/static_2/syntax/tdpos.ma [deleted file]