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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: df0dc72) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 18 Sep 2018 18:57:20 +0000 (20:57 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 18 Sep 2018 18:57:20 +0000 (20:57 +0200)
commit	0d1dc967bc12041b9d23ee945db9dd91335e8c1d
tree	8fefeae8dd40581c098882cb77990ccfeebe2d27	tree \| snapshot
parent	df0dc72bccac82b3dd69108b5996d7008d007601	commit \| diff

update in static_2 and basic_2

+ restricted rt-computation;
more results towards preservation

15 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_trans.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/cnv_cpm_tdpos.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/cnv_cpms_tdpos.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/positive_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/tdpos/tdpos.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history

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