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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 8 Sep 2018 19:09:55 +0000 (21:09 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 8 Sep 2018 19:09:55 +0000 (21:09 +0200)
commit	eeeaecfafd5ddffa54a41356104fbc60369e5d73
tree	6d00837f047c2ce3b971caac68bc62c8482b03fa	tree \| snapshot
parent	fb4c641d43be3d601104751363782553bea0fb6b	commit \| diff

update in static_2 and basic_2

+ cnv_cpms_conf_aux proved
for positive terms wrt the system of reference
+ unused files parked or removed

13 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdpos.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdeq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdpos.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve_far.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_cpms_tdeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cnv/cnv_preserve_far.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/positive_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/tdpos.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history

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