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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 29 Mar 2017 10:24:25 +0000 (10:24 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 29 Mar 2017 10:24:25 +0000 (10:24 +0000)
commit	6555775aa5268dec0d9ae4579412b659cacdc964
tree	23053ee1527c18ac004494e8f3961a39f56a6c61	tree \| snapshot
parent	69592aa1d0c0d122fb09f11cc53bf4c5a1532fdd	commit \| diff

- advances towards strong normalization
- refactoring of properties with relocation

33 files changed:

matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ceq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lstar.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lfpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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

RSS Atom