matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 21 Sep 2018 10:37:30 +0000 (12:37 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 21 Sep 2018 10:37:30 +0000 (12:37 +0200)
commit	e9b09b14538f770b9e65083c24e3e9cf487df648
tree	282c519f27f216cc5a914b71bf7eb49e07da00db	tree \| snapshot
parent	945b096d007f70e8336847f07b174c48f26467e0	commit \| diff

milestone in basic_2, λδ-2A reconstructed

+ confluence of rt-computation (not proved in λδ-2A)
+ preservation of validity for rt-computation

25 files changed:

.gitignore		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma		diff \| 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_tdeq_conf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_da_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_preserve.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_scpes.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_da_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_fsb.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_lstas_lpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_preserve.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/snv/snv_scpes.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/cnv_cpm_tdpos.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/cnv_cpms_tdpos.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/positive_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/tdpos.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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

RSS Atom