matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdeq.ma

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 19 Sep 2018 18:31:44 +0000 (20:31 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 19 Sep 2018 18:31:44 +0000 (20:31 +0200)
commit	945b096d007f70e8336847f07b174c48f26467e0
tree	da789e9d334f3f41726f735eb8e8decc5d3d379e	tree \| snapshot
parent	0d1dc967bc12041b9d23ee945db9dd91335e8c1d	commit \| diff

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]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdpos.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdpos.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_preserve.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_cpm_tdeq1_conf.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_cpms_tdeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_1_props.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/positive_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/tdpos.ma	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.