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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 2 Nov 2018 20:52:43 +0000 (21:52 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 2 Nov 2018 20:52:43 +0000 (21:52 +0100)
commit	dc20d16b32940a94d29a04de0d4fe1f80e00a73f
tree	7d8705a0518b41032b1781773afa71554aa7f5a3	tree \| snapshot
parent	084ea7868f6153effc18e8ee1c0e6cdb34d181c0	commit \| diff

update in basic_2

+ more properties on types from λδ-1A including:
type preservation by valid r-equivalence

32 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_fsb.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_ind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve_cpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/missing.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_extra.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_ltpss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_sta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta_thin.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/nta_extra.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/lsubn/lsubn_nta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/lsubn_nta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_ltpss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_thin.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv/snv_preserve.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/snv_preserve.etc	[deleted file]	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