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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 24 Apr 2020 21:27:24 +0000 (23:27 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 24 Apr 2020 21:27:24 +0000 (23:27 +0200)
commit	647504aa72b84eb49be8177b88a9254174e84d4b
tree	c785e33961fb17431e0e2c203d10025b7375678f	tree \| snapshot
parent	b2cdc4abd9ac87e39bc51b0d9c38daea179adbd5	commit \| diff

update in staic_2 and basic_2

+ an inversion lemma clarifies the link between rpx and req/reqx/lpx
+ some renaming

28 files changed:

matita/matita/contribs/lambdadelta/apps_2/examples/ex_rpx_fwd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/drops_sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/sex_sex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/reqx_reqx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_lex.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.

RSS Atom