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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 15 Jul 2019 17:40:22 +0000 (19:40 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 15 Jul 2019 17:40:22 +0000 (19:40 +0200)
commit	b4283c079ed7069016b8d924bbc7e08872440829
tree	621f1f70ae5162944113e2a4a4e9ea03d8461edc	tree \| snapshot
parent	647b419e96770d90a82d7a9e5e8843566a9f93ee	commit \| diff

additions and corrections for the article on λδ-2B

+ candidates: condition S4 removed
+ arity assignment: decidability proved
+ minor additions

12 files changed:

matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_dec.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/aaa_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/gcp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/aarity.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.