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, 26 Jul 2019 14:52:57 +0000 (16:52 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 26 Jul 2019 14:52:57 +0000 (16:52 +0200)
commit	f76594123e375bd7852c9421fe260a7bec693a92
tree	1d2f2fccdb3ae1a7120f61f2c52e2fb45d2b9361	tree \| snapshot
parent	a454837a256907d2f83d42ced7be847e10361ea9	commit \| diff

still more additions and corrections for the article

+ new proof of csx_rsx
+ more results on jsx
+ extra parameter removed from jsx
+ minor corrections on lsubr
+ some renaming

21 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/topredtysnstrong_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/topredtysnstrong_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_jsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_rsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubr_lsubr.ma		diff \| blob \| history

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

RSS Atom