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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 17 Jan 2014 17:45:00 +0000 (17:45 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 17 Jan 2014 17:45:00 +0000 (17:45 +0000)
commit	e5378812c068074f0ac627541d3f066e135c8824
tree	8c6b0cd3deac5a7d69deda550ad7863fb5c3db95	tree \| snapshot
parent	928cfe1ebf2fbd31731c8851cdec70802596016d	commit \| diff

- commit of the "substitution" component
- some renaming
- we disabled the old notation for ldrop to capture its instances
syntactically

38 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_lsstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_da_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_cpys.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrops_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrops_ldrops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lsstas_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lsstas_lift.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